/agda-categories

A new Categories library for Agda

Primary LanguageAgdaMIT LicenseMIT

Watchers