@hackage infinite-search0.10

Exhaustively searchable infinite sets.

An implementation of Martin Escardo's exhaustively searchable sets.