Lalalang This is a λ-calculus inspired language interpreter. Inspired by Artem Pianykh video series. Lambda-calculus basics Types of expressions variable: x, y lambda abstraction: λx.x + x application: (λx.x + x) y Grammar $$ M ::= x|λx.M |M \hspace{1mm} N $$