agda / agda-categories

A new Categories library for Agda
374Updated last week

Alternatives and similar repositories for agda-categories:

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