<span style="color:rgb(34,34,34);font-size:13px;font-family:arial,sans-serif">A new version of HERMIT (0.1.2.0) that is compatible with GHC 7.6 is now available on hackage. This release has essentially the same functionality as the 7.4-only pre-alpha release made before ICFP 2012.</span><div style="color:rgb(34,34,34);font-size:13px;font-family:arial,sans-serif">

<br></div><div style="color:rgb(34,34,34);font-size:13px;font-family:arial,sans-serif">HERMIT (Haskell Equational Reasoning Model-to-Implementation Tunnel) is a plugin for GHC that provides an interactive interface for applying transformations directly to GHC&#39;s internal intermediate language, Core. This plugin is part of a larger HERMIT toolkit, which is being developed at the University of Kansas with the aims of supporting equational reasoning and allowing custom optimizations to be applied without modifying either GHC or the Haskell source code.</div>

<div style="color:rgb(34,34,34);font-size:13px;font-family:arial,sans-serif"><br></div><div style="color:rgb(34,34,34);font-size:13px;font-family:arial,sans-serif">
Introduction to HERMIT via Neil Sculthorpe&#39;s Haskell Symposium 2012 talk:</div><div style="color:rgb(34,34,34);font-size:13px;font-family:arial,sans-serif"><br></div><div style>
<font color="#222222" face="arial, sans-serif"><a href="http://www.youtube.com/watch?v=x2QH3jJCJso" target="_blank">http://www.youtube.com/watch?v=x2QH3jJCJso</a></font></div><div style="color:rgb(34,34,34);font-size:13px;font-family:arial,sans-serif">

<br></div><div style="color:rgb(34,34,34);font-size:13px;font-family:arial,sans-serif">Example transformations can be found in the examples folder, contained in the cabal source package.</div>
<div style="color:rgb(34,34,34);font-size:13px;font-family:arial,sans-serif"><br></div><div style="color:rgb(34,34,34);font-size:13px;font-family:arial,sans-serif">
Hackage: <a href="http://hackage.haskell.org/package/hermit" target="_blank">http://hackage.haskell.org/package/hermit</a></div><div style="color:rgb(34,34,34);font-size:13px;font-family:arial,sans-serif">
Github (for bug reports): <a href="https://github.com/ku-fpg/hermit" target="_blank">https://github.com/ku-fpg/hermit</a></div><div style="color:rgb(34,34,34);font-size:13px;font-family:arial,sans-serif">
<br></div><div style="color:rgb(34,34,34);font-size:13px;font-family:arial,sans-serif">Andrew Farmer</div>