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)
<CTRL>+i, g, s
<CTRL>+i, g, f
<CTRL>+i, g, c
<CTRL>+i, g, m
On Aug 25, 2014, as part of the Domain-Specific Modeling Theory and Practice 2014 Summer School, Michał Antkiewicz presented a 6-hour hands-on tutorial on Domain Modeling using Clafer. This year, the school had a common domain: "Traffic Lights", and it was first modeled and analyzed using Clafer.
The tutorial is in the form of the Clafer Wiki 'Traffic Lights' Domain Model Example. It contains four parts:
Gitit will then search for the module
ClaferWikiin the user and global package registries. However, when the plugin is installed in a Cabal sandbox, it will not be found.