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'