The ivory package

[Tags: bsd3, library]

Using GHC type-system extensions, enforces safe low-level programming, while maintaining expressiveness.


Properties

Version0.1.0.0
Dependenciesbase (==4.6.*), containers (>=0.5), monadLib (>=3.7), parsec (>=3.1.3), pretty (>=1.1), template-haskell (>=2.8), th-lift (>=0.5.5)
LicenseBSD3
AuthorGalois, Inc.
Maintainertrevor@galois.com
CategoryLanguage
Home pagehttp://smaccmpilot.org/languages/ivory-introduction.html
Source repositorythis: git clone https://github.com/GaloisInc/ivory(tag hackage-0100)
Upload dateTue Mar 25 22:15:22 UTC 2014
Uploaded byLeePike
Downloads108 total (30 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees