bmillwood/reactions
Game written in elm
MaybeT monad transformer compatible with monads-tf instead of mtl
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