BNF.txt

<termBody>
 := <lambdaAbst>
  | <typeAbst>
  | <generalApp>
  | <termIf>

<lambdaAbst>
 := "\" <var> <typeAnnotation>opt <termBody>

<typeAbst>
 := "\" <tyVar> <termBody>

<generalApp>
 := <unit> <appChain>

<appChain>
 := "[" <tyAnnot> "]" <appChain>
  | <unit> <appChain>
  | EOL

<unit>
 := "true"
  | "false"
  | <var>
  | "(" <termBody> ")"
  | <unit> "." <identifier>
  | "{" <termRecord> "," .. <termRecord> "}"

<termIf>
 := "if" <termBody> "then" <termBody> "else" <termBody>

<var>
 := lower char

<typeAnnotation>
 := <typeUnit>
  | <typeUnit> "->" <typeAnnotation>

<typeUnit>
 := "Bool"
  | <tyVar>
  | "(" <typeAnnot> ")"
  | "{" <typeRecord> "}"

<typeRecords>
 := "{" <typeRecord> ("," <typeRecords>)opt "}"

<typeRecord>
 := <identifier> ":" <typeAnnotation>

<tyVar>
 := upper char