copilot-libraries: Libraries for the Copilot language.
Libraries for the Copilot language.
Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, bug reports, and todos are available at https://github.com/Copilot-Language/copilot-discussion.
Examples are available at https://github.com/Copilot-Language/Copilot/tree/master/Examples.
[Skip to Readme]
|Versions [faq]||0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 2.1.1, 2.2.0, 2.2.1, 3.0|
|Dependencies||array (==0.5.*), base (>=4.9 && <5), containers (>=0.4 && <0.7), copilot-language (==3.0.*), data-reify (==0.6.*), mtl (>=2.0 && <2.3), parsec (>=2.0 && <3.2) [details]|
|Author||Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe, Sebastian Niller, Nis Nordby Wegmann|
|Maintainer||Frank Dedden <email@example.com>|
|Source repo||head: git clone git://github.com/Copilot-Language/copilot-libraries.git|
|Uploaded||by frankdedden at Mon Apr 1 22:19:58 UTC 2019|
|Downloads||4833 total (187 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 2019-04-01 [all 2 reports]
For package maintainers and hackage trustees