Lambda Calculus Parser (Evaluate/Reduce)

Grammar of the StrictParser

Term

App
Abs
Op
Var
Num
Sub

Sub

"Sub" ( Var , Term ) [ Term ]
Term [ Var := Term ]

App

( Term Term )

Abs

( λ Var Term )
( λ Vars . Term )

Op

( Term TermOp Term )

Vars

Var
Var Vars

Var

[a-z]

Num

[0-9]+

TermOp

*
/
+
-

Exaplmes

See terms.yaml , strict.yaml and dynamic.yaml for examples.