@hackage hermit0.7.1.0

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

HERMIT

The Haskell Equational Reasoning Model-to-Implementation Tunnel.

Links

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

Installation
In your cabal file:
Dependencies (0)
Dependents (0)