Open AccessThe Technology Behind a Graphical User Interface for an Equational Reasoning Assistant
Author(s) -
Andy Gill
Publication year - 1995
Publication title -
electronic workshops in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/fp1995.7
Subject(s) - haskell , computer science , programming language , construct (python library) , mathematical proof , style sheet , interface (matter) , user interface , graphical user interface , functional programming , world wide web , xml , mathematics , geometry , bubble , maximum bubble pressure method , parallel computing
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom