infinite-search: Exhaustively searchable infinite sets.
An implementation of Martin Escardo's exhaustively searchable sets.
| Versions | 0.10, 0.11, 0.12 |
|---|---|
| Dependencies | base |
| License | BSD3 |
| Author | Martin Escardo |
| Maintainer | Luke Palmer <lrpalmer@gmail.com> |
| Stability | experimental |
| Category | Data, Algorithms, Monads, Search |
| Home page | http://github.com/luqui/infinite-search |
| Upload date | Sat Nov 22 11:29:58 UTC 2008 |
| Uploaded by | LukePalmer |
| Built on | ghc-6.10, ghc-6.12 |
| Distributions | Arch: 0.12 |
Modules
- Data
Downloads
- infinite-search-0.10.tar.gz (Cabal source package)
- package description (included in the package)