/pcc116-agda-lib

Agda library for the course PCC116 - Logics in Computer Science

Primary LanguageAgda

No issues in this repository yet.