repositories
/
lambda.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
add strictness
[lambda.git]
/
grammar.txt
1
program := term ';' program
2
| declaration ';' program
3
declaration := func strictident+ '=' term ';'
4
term := appterm term
5
| appterm
6
appterm := func
7
| ident
8
| '\' strictident+ '.' term
9
| '(' term ')'
10
strictident := '!'? ident
11
func := 'A' | 'B' | ... | 'Z'
12
ident := 'a' | 'b' | ... | 'z'