search

agda / agda-categories

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

rename Cats in StrictCats to StrictCats #296

Closed JacquesCarette closed 3 years ago

JacquesCarette commented 3 years ago

To make it more obvious at the usage site that things are Strict. Same for StrictGroupoid. Adjust as necessary. Fix up imports in StrictCore while at it.