@hackage infinite-search0.12

Exhaustively searchable infinite sets.

An implementation of Martin Escardo's exhaustively searchable sets.