search

This package provides a version of Martin Escardo's "J" monad for conducting "infinite search in finite time".

Contact Information

Contributions and bug reports are welcome!

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

-Edward Kmett