Skip to content

Instantly share code, notes, and snippets.

@josephcsible

josephcsible/gist:3cf0fd579fc52c1012c6c909b02236cf

Last active May 31, 2020 19:15
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save josephcsible/3cf0fd579fc52c1012c6c909b02236cf to your computer and use it in GitHub Desktop.
Save josephcsible/3cf0fd579fc52c1012c6c909b02236cf to your computer and use it in GitHub Desktop.
Download ZIP
Lambda calculus syntax
Raw
gistfile1.txt
Var ::= [a-zA-Z]+
;
PrimaryTerm ::= Var
| '(' Term ')'
;
ApplyTerm ::= PrimaryTerm
| ApplyTerm PrimaryTerm
;
Term ::= ApplyTerm
| 'λ' Var '.' Term
;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment