@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 (0)
Dependents (0)

Writing and calling ACL2 from Haskell.