hask

Kind-indexed category theory for Haskell with a strong lens-like flavor.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.

-Edward Kmett