@hackage search0.2

Infinite search in finite time with Hilbert's epsilon

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Edward A. Kmett <ekmett@gmail.com>
Links
Versions
- 0.2 Sat, 4 Nov 2017
- 0.1.0.1 Wed, 11 Mar 2015
- 0.1 Tue, 25 Mar 2014

search

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