Files Used in the article submitted to SETTA18 by Stephan Adelsberger, Anton Setzer, and Eric Walkingshaw
- All Agda Code agda
- Start file loading all files in paper in sequence loadAllSETTA18.agda
- Html version of Agda code (no Agda installation needed) html
- Start file (html version) loading all file in paper in sequence loadAllSETTA18.html
- The above files can be viewed with a Browser via the following link loadAllSETTA18.html