My master thesis about generic programming and ornaments
Primary LanguageAgda
No issues in this repository yet.