search

agda / agda-categories

A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
359 stars 67 forks source link

added unique choice #374

Closed sergey-goncharov closed 1 year ago