Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
that it does? That sounds like a reasonable solution, but doing so requires extending the graphical representation of λ-terms with new nodes and reduction rules; the so-called “oracle”. As it turns out, after decades of research, nobody figured out an efficient oracle. That is, the asymptotics are