Infinite search in finite time with Hilbert's epsilon

Latest on Hackage:0.2

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow to host generated Haddocks.

BSD3 licensed by Edward A. Kmett
Maintained by Edward A. Kmett


Hackage Build Status

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

-Edward Kmett



  • Use lazier boolean comparisons
  • transformers 0.5 support

  • filepath 1.4 support
  • transformers 0.4 support


  • Repository initialized
Used by 1 package:
comments powered byDisqus