• + 0 comments

    This is highly misleading, because a term, that cannot be reduced any further is called a value (See Call-By-Value). Since the input is already in normal Form, it should be the correct value. Using words like "compute" and "value" in a lambda calculus setting should be handled with much more care.