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