GitPlanet
All Git Users → matt-noonan

3 open source projects by matt-noonan

[ Open user page on Github ]
1. Justified Containers
Standard containers, with keys that carry type-level proofs of their own presence.
✭ 62
haskell
2. gdp
Ghosts of Departed Proofs
✭ 52
haskell
3. gdp-paper
Ghosts of Departed Proofs
✭ 34
SMTTeXHTMLhaskellPostScriptCSSMakefile
1-3 of 3 user projects