The latest version of ivory is 0.1.0.9-0.

ivory

Version 0.1.0.5 revision 1 uploaded by LeePike.

Package meta

Synopsis
Safe embedded C programming.
Description

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

Author
Galois, Inc.
Bug reports
n/a
Category
Language
Copyright
n/a
Homepage
http://ivorylang.org
Maintainer
trevor@galois.com, leepike@galois.com
Package URL
n/a
Stability
n/a

Components