This package provides a version of Martin Escardo's "J" monad for conducting "infinite search in finite time".
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