Location via proxy:    [Report a bug]   [Manage cookies]    No cookies    No scripts    No ads    No referrer    Show this form

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.