Name: infinite-search Description: An implementation of Martin Escardo's exhaustively searchable sets. Version: 0.12 Stability: experimental Synopsis: Exhaustively searchable infinite sets. License: BSD3 Category: Data, Algorithms, Monads, Search Author: Martin Escardo Homepage: http://github.com/luqui/infinite-search Maintainer: Luke Palmer Build-Type: Simple Build-Depends: base Exposed-Modules: Data.Searchable Extensions: