forsyde-deep: ForSyDe's Haskell-embedded Domain Specific Language.
The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement. This library provides ForSyDe's implementation as a Haskell-embedded Domain Specific Language (DSL). For more information, please see ForSyDe's website: https://forsyde.github.io/. This library provides the deep implementation of ForSyDe in Haskell.
[Skip to Readme]
|Dependencies||base (>=4.8.2 && <4.9.2), containers, directory, filepath, mtl, parameterized-data (>=0.1.5), pretty, process, random, regex-posix, syb, template-haskell, type-level [details]|
|Copyright||Copyright (c) 2003-2018 ForSyDe Group, KTH/EECS/ES|
|Author||Alfonso Acosta, Hendrik Woidt|
|Source repo||head: git clone git://github.com/forsyde/forsyde-deep.git|
|Uploaded||by ugeorge at Wed Dec 26 23:15:52 UTC 2018|
|Downloads||38 total (38 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs uploaded by user [build log]
All reported builds failed as of 2018-12-26 [all 3 reports]
Shorten build time for more fluent development
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
For package maintainers and hackage trustees