being a collection of Agda-facilitated ramblings
Primary LanguageAgda
No issues in this repository yet.