agda / agda-categoriesLinks

A new Categories library for Agda
384Updated 3 weeks ago

Alternatives and similar repositories for agda-categories

Users that are interested in agda-categories are comparing it to the libraries listed below

Sorting: