aboutsummaryrefslogtreecommitdiff
path: root/Preorder
AgeCommit message (Expand)Author
2026-01-04Add (weak) monoidal and symmetric monoidal preordersJacques Comeaux