@hackage ivory0.1.0.9

Safe embedded C programming.

Categories
- Language
License
BSD-3-Clause
Maintainer
trevor@galois.com, leepike@galois.com
Links
Versions
- 0.1.0.9 Fri, 5 Apr 2019
- 0.1.0.8 Fri, 13 Jul 2018
- 0.1.0.7 Fri, 11 Aug 2017
- 0.1.0.6 Wed, 9 Aug 2017
- 0.1.0.5 Wed, 9 Aug 2017
- 0.1.0.4 Sat, 29 Oct 2016

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

Installation
In your cabal file:
Dependencies (13)
- array
- base >=4.7 && <5
- containers >=0.5
- filepath
- template-haskell >=2.8 && <3
- text
Dependents (3)
@hackage/ivory-avr-atmega328p-registers, @hackage/ivory-serialize, @hackage/ivory-eval