Accompanying artefact for the CPP '21 submission 'Certified Generic Enumeration Principles'
Familiar with Agda? Head over to src/Everything.agda for a quick overview of all the definitions used in the paper.
You can run make in this directory to compile Everything.agda, which imports all definitions used in the paper. See
Agda's documentation for more information on
how to compile .agda source files.
Go to here (Everything.agda) to browse throught the code interactively.