Clafer has a formal grammar from which the lexer and parser are generated. I published two new language reference resources:
- Syntax documentation (pdf), which is also automatically generated from the grammar
- Clafer cheat sheet, which is written manually based on the grammar to provide additional commentary and type information, while sacrificing the formality of the grammar.
All these resources, as of this posting, cover Clafer 0.4.1 and they will be updated with each release. They are also referenced from the page Documentation.