Clafer syntax highlighter for VIM

by Michał Antkiewicz

Andrzej Wąsowski has contributed an integration of Clafer into VIM featuring

• syntax highlighting for structural and behavioral Clafer, including marking simple errors
• indentation based folding for collapsing parts of the model (experimental)

To install, follow the instructions in the README.