A. Gill, “Introducing the Haskell Equational Reasoning Assistant,” in Proceedings of the 2006 ACM SIGPLAN Workshop on Haskell, pp. 108–109, ACM Press, 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.


  author = {Andy Gill},
  title = {Introducing the {H}askell {E}quational {R}easoning {A}ssistant},
  booktitle = {Proceedings of the 2006 ACM SIGPLAN {W}orkshop on Haskell},
  year = {2006},
  pages = {108--109},
  isbn = {1-59593-489-8},
  location = {Portland, Oregon, USA},
  publisher = {ACM Press},