bmillwood/MetaprogAgda
being the materials for Summer 2013's course
Developer Profile
bmillwood
Discovered public repositories for bmillwood in the GitHub catalog.
bmillwood/ackermann
Agda proof that the Ackermann function is not primitive recursive
bmillwood/notcpp
Avoiding the C preprocessor via cunning use of Template Haskell
bmillwood/dice
A dice-rolling CGI application in Haskell
bmillwood/mathmo
mathmo A-level revision samples
bmillwood/tremulous-master
Master server for Tremulous
bmillwood/applicative-quoters
(no longer maintained) Quasiquoters for working with Control.Applicative, taken from haskell-src-meta
bmillwood/MaybeT-monads-tf
MaybeT monad transformer compatible with monads-tf instead of mtl
bmillwood/pointfree
Maintenance of the pointfree Hackage package.
bmillwood/haskell-src-meta
Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
bmillwood/stepeval
A program for evaluating a Haskell expression step-by-step