Noob here woth a doubt:
“Incredible! We are exhaustively searching an uncountably infinite space in finite time”
Isn’t this like a long stretch? Once lazy evaluation is introduced he is pretty much checking until a first hit happens, isn’t he?
What would happen if I call the function with predicate ‘x == one AND x == zero’?