infinite-search (hackage): An implementation of Martin Escardo's exhaustively searchable sets in Haskell.
Keywords: algorithms|bsd3|data|library|monads|search