claferwiki

A wiki-based IDE for literate modeling with Clafer

http://github.com/gsdlab/claferwiki

Latest on Hackage:0.4.5

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

MIT licensed by Michał Antkiewicz, Chris Walker, Luke Michael Brown
Maintained by Michał Antkiewicz

A wiki-based IDE for literate modeling with Clafer. A Plugin for the Gitit wiki which collects code blocks written in Clafer (.clafer), compiles them, renders into HTML and Dot, and replaces the code blocks with the results.