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

Open Taneb opened this issue 3 years ago • 3 comments

Dec 20 '22 11:12 Taneb

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

Dec 20 '22 16:12 JacquesCarette

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.

Dec 20 '22 16:12 Taneb

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

Dec 26 '23 19:12 JacquesCarette