added Haskell links
added escardo's post on infinite search in finite time