search

agda / agda-categories

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

PR for adding FreeObjects Constructions #313

Closed yourboynico closed 2 years ago

JacquesCarette commented 2 years ago

Closing this one as it is superceded by another.