search

agda / agda-categories

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

Make Rels less strict, add a StrictRels for the previous version #365

Open Taneb opened 1 year ago

JacquesCarette commented 1 year ago

Looking nice. What are you still intending to do before making it 'Ready for Review'? And would you like comments now anyways?

Taneb commented 1 year ago

I'd like comments now definitely, please! I still need to copy the top-level comment from (what is now) Categories.Category.Monoidal.Instance.StrictRels to Categories.Category.Monoidal.Rels.

JacquesCarette commented 8 months ago

If you give me permission to push to your fork, I can help push this to completion.