search: Infinite search in finite time with Hilbert's epsilon
Downloads
- search-0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1, 0.1.0.1, 0.2 |
|---|---|
| Change log | CHANGELOG.markdown |
| Dependencies | base (>=4.5 && <5), ghc-prim, profunctors (>=4 && <5), semigroupoids (>=4 && <5), tagged (>=0.7 && <1), transformers (>=0.3 && <0.4) [details] |
| License | BSD-3-Clause |
| Copyright | Copyright (C) 2014 Edward A. Kmett |
| Author | Edward A. Kmett |
| Maintainer | Edward A. Kmett <ekmett@gmail.com> |
| Category | Math, Topology, Search |
| Home page | http://github.com/ekmett/search/ |
| Bug tracker | http://github.com/ekmett/search/issues |
| Source repo | head: git clone git://github.com/ekmett/search.git |
| Uploaded | by EdwardKmett at 2014-03-25T04:46:24Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 2422 total (14 in the last 30 days) |
| Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Successful builds reported [all 1 reports] |
Readme for search-0.1
[back to package description]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