Introducing the Haskell equational reasoning assistant

@inproceedings{Gill2006IntroducingTH,
  title={Introducing the Haskell equational reasoning assistant},
  author={Andy Gill},
  booktitle={Haskell},
  year={2006}
}
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