@hackage acl20.0.0

Writing and calling ACL2 from Haskell.

Categories
- Language
License
BSD-3-Clause
Maintainer
Tom Hawkins <tomahawkins@gmail.com>
Links
Versions
- 0.0.1 Wed, 1 Oct 2014
- 0.0.0 Thu, 25 Sep 2014

Installation
In your cabal file:
Dependencies (2)
- base >=4.0 && <6.0
- process >=1.0 && <2.0
Dependents (2)
@hackage/acme-everything, @hackage/dove

Writing and calling ACL2 from Haskell.