The latest version of ivory is 0.1.0.9-0.
ivory
Version 0.1.0.3 revision 1 uploaded by HerbertValerioRiedel.
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://smaccmpilot.org/languages/ivory-introduction.html
- Maintainer
- trevor@galois.com
- Package URL
- n/a
- Stability
- n/a