Dr. sc. Matthew Mirman's repositories
ImperativeHaskell
Proof that Haskell can look and act like an imperative language.
regular-manifold-containers
A library for infinite and cyclic data structures
class-lambda
Dependently typed logic programming in meta-haskell!
useful-combinators
Just a bunch of useful combinators