glguy.net
- GitHub repositories
- My open source contributions are available on GitHub.
- config-demo
- 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.