@hackage improve0.0.3

An imperative, verifiable programming language for embedded applications.

Categories
- Systems Programming
- Language
License
BSD-3-Clause
Maintainer
Tom Hawkins <tomahawkins@gmail.com>
Links
Versions
- 0.4.0 Fri, 29 Jul 2011
- 0.3.4 Mon, 18 Apr 2011
- 0.3.3 Thu, 7 Apr 2011
- 0.3.2 Sat, 2 Apr 2011
- 0.3.1 Tue, 29 Mar 2011
- 0.3.0 Mon, 28 Mar 2011

Installation
In your cabal file:
Dependencies (3)
- base >=4.2 && <5
- mtl >=1.1.0.1 && <1.2
- yices >=0.0.0.7 && <0.0.1
Dependents (2)
@hackage/acme-everything, @hackage/vcd

TODO