lambda-calculus

An implementation of the pure, untyped lambda calculus

Tokens

\ => Lambda
. => Dot
( => Lparen
) => Rparen
= => Equal
def => Define
[a-zA-Z0-9]+ => Identifier