Assume a program contains a mutually recursive definitions of even : Nat -> Bool and odd : Nat -> Bool. When you select one of them in the Evaluation view, the application will eagerly evaluate the recursive function applications in the body. This isn't particularly useful, so we should not evaluate unapplied lambdas, or something like that.
Assume a program contains a mutually recursive definitions of
even : Nat -> Boolandodd : Nat -> Bool. When you select one of them in the Evaluation view, the application will eagerly evaluate the recursive function applications in the body. This isn't particularly useful, so we should not evaluate unapplied lambdas, or something like that.