Procrastinating with Agda: a formalization of System L
Primary LanguageAgda
No issues in this repository yet.