/agda-prelude

Programming library for Agda

Primary LanguageAgdaMIT LicenseMIT

No issues in this repository yet.