Objects and Graphical User Interfaces in Agda

This library contains the code as in the paper

Andreas Abel, Stephan Adelsberger, Anton Setzer: Interactive Programming in Agda - Objects and Graphical User Interfaces
Journal of Functional Programming, 27, 2017.
doi 10.1145/2976022.2976032
Author's copy
BibTex

Installation

see INSTALL.txt

Example code from the ooAgda paper

Code from the paper can be loaded using files
- examples/examplesPaperJFP/loadAllOOAgdaPart1.agda
- examples/examplesPaperJFP/loadAllOOAgdaPart2.agda
- examplesPaperJFP/loadAllOOAgdaFilesAsInLibrary.agda

Hello World Example

see exampleCode