Introducing the Haskell equational reasoning assistant

  title={Introducing the Haskell equational reasoning assistant},
  author={Andy Gill},
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and an API for scripting non-trivial rewrites. 
Highly Cited
This paper has 24 citations. REVIEW CITATIONS