@hackage claferwiki0.4.5

A wiki-based IDE for literate modeling with Clafer

Categories
License
MIT
Maintainer
Michał Antkiewicz <mantkiew@gsd.uwaterloo.ca>
Links
Versions
- 0.4.5 Mon, 13 Mar 2017
- 0.4.4 Fri, 24 Jun 2016
- 0.4.3 Tue, 22 Dec 2015
- 0.4.2.1 Tue, 20 Oct 2015
- 0.4.2 Sat, 17 Oct 2015
- 0.4.1 Tue, 1 Sep 2015

Installation
In your cabal file:
Tested Compilers
- 8.0.2
- 7.10.3
Dependencies (16)
- base >=4.7.0.1 && <5
- containers >=0.5.5.1
- directory >=1.2.1.0
- mtl >=2.1.3.1
- process >=1.2.0.0
- transformers >=0.3.0.0
Dependents (1)
@hackage/acme-everything

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.

@hackage claferwiki0.4.5

Categories

License

Maintainer

Links

Versions

Installation

Tested Compilers

Dependencies (16)

Dependents (1)