Haskell Equational Reasoning Assistant
m (HaskellEquationalReasoningAssistant moved to Haskell Equational Reasoning Assistant)
Revision as of 06:01, 14 August 2006
1 The Haskell Equational Reasoning Assistant
Functional programmers often appeal to equational reasoning to justify various decisions made in both design and implementation. This page introduces the Haskell Equational Reasoning Assistant (HERA), an architecture that provides both a GUI level and a batch level Haskell rewrite engine inside a single tool. The interactive interface is used to create and edit non-trivial translations that can be used to extend the batch level API; the batch level API can be used to implement powerful, context sensitive rewrites that can be provided to the interactive interface.
2 The Interactive Interface
There are three main panels in the interface: