@hackage search0.2

Infinite search in finite time with Hilbert's epsilon

Infinite search in finite time with Hilbert's epsilon