Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- expr: variable | "(" expr ")" | application | abstraction
- abstraction: "λ" variable "." expr
- application: expr expr
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement