Published October 4, 2021
| Version v1
Software
Open
Formal Metatheory of Second-Order Abstract Syntax – Artefact
Description
Ubuntu Linux 21.04 virtual machine for the artefact evaluation of the POPL 2022 paper
Formal Metatheory of Second-Order Abstract Syntax (Marcelo Fiore, Dmitrij Szamozvancev)
Includes the Agda compiler, its standard library and the agda-categories library.
The project files can be found in the agda-soas folder in the home directory.
The base virtual machine came from osboxes.org, but login details have been changed to:
Username: agda-soas
Password: popl2022-agda-soas