Everything.agda #2
Description
Please add an Everything.agda file or similar which imports all the relevant modules in the repository. This allows to easily type-check all the relevant code.
{{ message }}
Please add an Everything.agda file or similar which imports all the relevant modules in the repository. This allows to easily type-check all the relevant code.