GitHub repositories
My open source contributions are available on GitHub.
Live, in-browser demonstration of the config-value and config-schema packages
glirc Lua extension module
Documentation for the Lua extension plugin for glirc.
Composing Monads
Agda implementation of proof that the composition of two monads does not produce a monad in general.