Add grammar

diff --git a/grammar.txt b/grammar.txt
new file mode 100644 (file)
index 0000000..fd36183
--- /dev/null
+++ b/grammar.txt
@@ -0,0 +1,10 @@
+program     := declaration* term
+declaration := func '=' term ';'
+term        := appterm term
+             | appterm
+appterm     := func
+             | ident
+             | '\' ident+ '.' term
+             | '(' term ')'
+func        := 'A' | 'B' | ... | 'Z'
+ident       := 'a' | 'b' | ... | 'z'