The ivory-backend-c package

[Tags: bsd3, library]

Ivory compiler, to a subset of C99.


Properties

Versions0.1.0.0, 0.1.0.1
Dependenciesbase (==4.6.*), bytestring (>=0.10), cmdlib (>=0.3.5), containers, directory, filepath, ivory, ivory-opts, language-c-quote (>=0.7.1), mainland-pretty (>=0.2.5), monadLib (>=3.7), process, srcloc, template-haskell (>=2.8)
LicenseBSD3
AuthorGalois, Inc.
Maintainerleepike@galois.com
CategoryLanguage
Home pagehttp://smaccmpilot.org/languages/ivory-introduction.html
Source repositorythis: git clone https://github.com/GaloisInc/ivory(tag hackage-backend-0101)
Upload dateWed Mar 26 02:22:07 UTC 2014
Uploaded byLeePike
Downloads152 total (17 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees