Instructions

• evaluate λ-expressions (see grammer)
• add λ-terms to context (id = <term>)
• remove λ-terms from context (del <id>)

Options:

Grammar rules

• any identifier is a λ-term
• given identifier x and a λ-term t, λx.t is a λ-term
• given t1 and t2 two λ-terms, (t1 t2) is a λ-term

Features

• type "\" to get "λ"
• enable Verbouse option to see the step-by-step evaluation
• "clear" to clear the terminal
• Up/Down to navigate previous commands