Matthew McQuaid's repositories
higher-standard
Higher kinded polymorphism in SML
15-150-Bad-Style-Contest-S20
Church encodings, but it's worse than you think
agda-desc
Datatype descriptions in agda
Language:Agda000
atd
Static types for JSON APIs
Language:OCamlNOASSERTION000
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:AgdaAGPL-3.0000
Language:OCaml000
cooltt
😎TT
Language:OCamlApache-2.0000
Language:Haskell000
higher
Higher-kinded programming in OCaml
Language:OCamlMIT000
parsy
Easy and elegant parser combinators for Python. With awesome docs.
MIT000
Language:JavaScript000
SML-Typeclasses
Implementations of various standard Haskell typeclasses in SML using the module system
Language:Standard ML000
stagedtt
🪆 A Staged Type Theory
Apache-2.0000
Type-Level-Haskell
Type Level Fun in Haskell
Language:Haskell000
Language:JavaScriptMIT000