@hackage hermit1.0.1

Haskell Equational Reasoning Model-to-Implementation Tunnel

Categories
- Language
License
BSD-3-Clause
Maintainer
Andrew Farmer <afarmer@ittc.ku.edu>
Links
Versions
- 1.0.1 Tue, 23 Feb 2016
- 1.0.0.0 Sun, 21 Feb 2016
- 0.7.1.0 Sat, 19 Sep 2015
- 0.7.0.0 Sat, 19 Sep 2015
- 0.6.0.0 Sat, 19 Sep 2015
- 0.5.0.0 Sat, 19 Sep 2015

Installation
In your cabal file:
Dependencies (19)
- base >=4.7 && <5
- hermit
Dependents (2)
@hackage/acme-everything, @hackage/hermit-syb

HERMIT

The Haskell Equational Reasoning Model-to-Implementation Tunnel.

Links

http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT