@hackage search0.1

Infinite search in finite time with Hilbert's epsilon

Infinite search in finite time with Hilbert's epsilon