Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Language.Clafer.Front.PrintClafer
Documentation
Minimal complete definition
Instances
clafer-0.4.4: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Language.Clafer.Front.PrintClafer
Minimal complete definition
Instances