https://github.com/agda/ooagda

Interactive and object-oriented programming in Agda using coinductive types
https://github.com/agda/ooagda

Last synced: 5 months ago
JSON representation

Interactive and object-oriented programming in Agda using coinductive types

• Host: GitHub
• URL: https://github.com/agda/ooagda
• Owner: agda
• License: mit
• Created: 2016-02-15T22:58:29.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2025-06-02T12:27:04.000Z (about 1 year ago)
• Last Synced: 2025-09-09T00:46:35.856Z (9 months ago)
• Language: Agda
• Size: 1.41 MB
• Stars: 23
• Watchers: 12
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# 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](http://dx.doi.org/10.1017/S0956796816000319)

* [Author's copy](http://www.cs.swan.ac.uk/~csetzer/articles/ooAgda.pdf)

* [BibTex](http://www.cs.swan.ac.uk/~csetzer/articles/ooAgda.bib)

## 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