The infinite-search package
An implementation of Martin Escardo's exhaustively searchable sets.
Properties
| 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 | Fri Jan 9 22:04:36 UTC 2009 |
| Uploaded by | LukePalmer |
| Built on | ghc-6.10, ghc-6.12, ghc-7.0 |
Modules
- Data
Downloads
- infinite-search-0.12.tar.gz (Cabal source package)
- package description (included in the package)