Organization and planning for the Initial Types Club
Primary LanguageAgda
No issues in this repository yet.