agda / ooAgda

Interactive and object-oriented programming in Agda using coinductive types

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