Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
Primary LanguageHTML
No issues in this repository yet.