Formal Metatheory of Second-Order Abstract Syntax – Artefact

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