HERMIT [](http://hackage.haskell.org/package/hermit) [](https://travis-ci.org/ku-fpg/hermit)
May 13, 2015 ยท View on GitHub
The Haskell Equational Reasoning Model-to-Implementation Tunnel.
May 13, 2015 ยท View on GitHub
The Haskell Equational Reasoning Model-to-Implementation Tunnel.