repositories
/
lambda.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
fd36183048b305279303296f3a15060399f6f39a
[lambda.git]
/
grammar.txt
1
program := declaration* term
2
declaration := func '=' term ';'
3
term := appterm term
4
| appterm
5
appterm := func
6
| ident
7
| '\' ident+ '.' term
8
| '(' term ')'
9
func := 'A' | 'B' | ... | 'Z'
10
ident := 'a' | 'b' | ... | 'z'