Skip to content

Latest commit

 

History

History
13 lines (10 loc) · 306 Bytes

README.md

File metadata and controls

13 lines (10 loc) · 306 Bytes

μLambda

Minimal C99 lambda calculus interpreter

Grammar:

# all whitespace is silently ignored

variable ::= "a" | "b" | ... ;
function ::= "L" , variable , "." , expression ;
expression ::= variable | function | application | "(" , expression , ")" ;
application ::= expression , expression ;