bmillwood/reactions
Game written in elm
(no longer maintained) Quasiquoters for working with Control.Applicative, taken from haskell-src-meta
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Game written in elm
being the materials for Summer 2013's course
Agda proof that the Ackermann function is not primitive recursive
Avoiding the C preprocessor via cunning use of Template Haskell