claferwiki-0.4.0: A wiki-based IDE for literate modeling with Clafer

Safe HaskellNone
LanguageHaskell2010

Network.Gitit.Plugin.ClaferWiki

Description

A plugin for Gitit which integrates the Clafer compiler and links to other Clafer web tools: ClaferIDE, ClaferConfigurator, and ClaferMooVisualizer

Synopsis

Documentation

plugin :: Plugin Source

claferWiki collects Clafer code from .clafer code blocks, renders as HTML and graph, and replaces the original blocks with RawBlocks containing the results