@hackage / search

Infinite search in finite time with Hilbert's epsilon

Latest0.2

About

Metadata

  • Last updated , by EdwardKmett
  • License BSD-3-Clause
  • Categories Mathematics

  • Maintained by: Edward A. Kmett <ekmett@gmail.com>

  • Lottery factor: 0

Links

Installation

This package uses the Custom cabal build type

Readme

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 irc.freenode.net.

-Edward Kmett