@hackage infinite-search0.11

Exhaustively searchable infinite sets.

An implementation of Martin Escardo's exhaustively searchable sets.