search (hackage): Infinite search in finite time with Hilbert's epsilon
Keywords: bsd3|library|math|search|topology