Computability and limits

An exhausted search budget is not a missing answer

Consider the thought experiment let loop = loop in if loop then Just 1 else Nothing, used where a Maybe Int is expected. To d…

PerhapsReplies 0haskell