agda / agda-categories

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

Rename and expand Assoc4 reasoning combinators #413

Closed Taneb closed 3 months ago

Taneb commented 4 months ago

I haven't hunted down every possible place where the new combinators could be used. I'm sure there's plenty.

This naming scheme isn't perfect but I think it's a lot better than what was there before