/agda-misc

Miscellaneous Agda code

Primary LanguageAgdaMIT LicenseMIT

Stargazers