aboutsummaryrefslogtreecommitdiff
path: root/Category/Instance/Preorder/Primitive/Monoidals/Symmetric
ModeNameSize
-rw-r--r--Lax.agda3304logplain
-rw-r--r--Strong.agda3319logplain