The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant

The Haskell Equational Reasoning Assistant (HERA) is an application written in Haskell that helps users construct and present equational reasoning style proofs[1]. In this paper we discuss the technology behind the user interface.

Content

Author and article information

Conference

Publication date: July 1995

Publication date (Print): July 1995

Pages: 1-8

Affiliations

[0001]Department of Computing Science, University of Glasgow

Article

DOI: 10.14236/ewic/FP1995.7

SO-VID: 3b0fa19d-f9d2-4f8c-9168-6142228b95eb

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the 1995 Glasgow Workshop on Functional Programming

Conference acronym: FP

Conference number:

Conference location: Ullapool, Scotland

Conference date: 10-12 July 1995

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Functional Programming

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FP1995.7

Self URI (journal page): https://ewic.bcs.org/

Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant

Abstract