matt-noonan/ptr-eq-test

Stars
2
Language
Haskell
License
BSD 3-Clause "New...
Created about 7 years ago
Updated about 7 years ago

matt-noonan/ptr-eq-test

matt-noonan

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Digging into a change in GHC behavior from 8.0.2 -> 8.2.1

justified-containers

Standard containers, with keys that carry type-level proofs of their own presence.

gdp

Ghosts of Departed Proofs

gdp-paper

Ghosts of Departed Proofs

retypd-data

Data and scripts for the paper "Polymorphic Type Inference for Machine Code"

FractalStream

Experimental Haskell rewrite of FractalStream

functor-friends

Friendly helpers for your recursion schemes.

haskell-as-templates

Translation of a Haskell run-time fizzbuzz to a C++ compile-time fizzbuzz. I'm so sorry.

exemplar

Exemplary input/output examples for your Haskell functions

storm-country-site

Site contents for http://storm-country.com

storm-country

Source for http://storm-country.com

llvm-hs

distributed-tinkering

Tinkering with Cloud Haskell

gdp-talk

fractalstream-1.0

Import of FractalStream SVN repo from Google Code

accelerate-llvm

fixie

Splices to help you write simple, modular, composable code with recursive types.

in-flight-sudoku

Enranged by the Delta in-flight Sudoku system's refusal to conform to basic Sudoku etiquette, the passenger begins furiously typing into an IHaskell notebook...

Jupyter Notebook

lawful

A constraint to assert that your typeclass instances are lawful