search

agda / agda-categories

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

Create `Construction.CoEilenbergMoore` #315

Closed tetrapharmakon closed 2 years ago

tetrapharmakon commented 3 years ago

Not a stub, everything is ok already

tetrapharmakon commented 2 years ago

@JacquesCarette can you tell us if there's something more to do here? On our (mine and @iwilare 's) side there's nothing to add.