Introducing the Haskell equational reasoning assistant

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. Categories and Subject Descriptors D.2.6 [Software Engineering]: Programming Environments – Interactive environments, Programmer workbench. General Terms Design, Experimentation, Languages, Performance, Reliability. Keywords Equational Reasoning, Transformation Tools, Ajax Applications.

• Type: Conference
• Year: 2006
• Where: HASKELL
• Authors: Andy Gill
• Keywords: Ajax Applications, Equational Reasoning, HASKELL 2006, Haskell Equational Reasoning