In general, Lemma's syntax looks a lot like Haskell's syntax, but is not identical. Notably, it is a "square bracket language" - it uses square brackets to enclose scoping blocks, lambdas, and similar ...