UniMath/agda-unimath

Argument order for coherence triangles

fredrik-bakke opened this issue · 0 comments

Coherence triangles take arguments in the order left -> right -> top, but I would assume, given how other coherence diagrams take arguments in the order left-to-right top-to-bottom, that they should take the arguments in the order top -> left -> right. Do you agree?