agda / agda-categoriesLinks

A new Categories library for Agda
382Updated last week

Alternatives and similar repositories for agda-categories

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

Sorting: