search: Infinite search in finite time with Hilbert's epsilon
Downloads
- search-0.2.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.8 && <5), ghc-prim, profunctors (>=4 && <6), semigroupoids (>=4 && <6), tagged (>=0.7 && <1), transformers (>=0.3 && <0.6) [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 2017-11-04T23:21:57Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 2510 total (13 in the last 30 days) |
| Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2017-11-04 [all 1 reports] |
Readme for search-0.2
[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