Matt Noonan

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. FractalStream 2

functor-friends. Friendly helpers for your recursion schemes.

exemplar. Exemplary input/output examples for your Haskell functions

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

ptr-eq-test. Digging into a change in GHC behavior from 8.0.2 -> 8.2.1

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...

accelerate-llvm. Haskell

gdp-talk. TeX

llvm-hs-old. LLVM

lawful. A constraint to assert that your typeclass instances are lawful

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

storm-country. Source for http://storm-country.com

distributed-tinkering. Tinkering with Cloud Haskell

fractalstream-1.0. Import of FractalStream SVN repo from Google Code

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