Declarative GUIs: Simple, Consistent, and Verified

Files Used in the article submitted to PPDP18 by Stephan Adelsberger, Anton Setzer, and Eric Walkingshaw

Code in Agda

0. All Agda Code agda
1. Start file loading all files of the paper by chapter: LoadAllPPDP18.agda
2. Html version of Agda code (no Agda installation needed) html
3. The above files can be viewed with a Browser via the following link: GUI.LoadAllPPDP18.html

Please refer to the file 'README_INSTALL.txt' for installation instructions.

---