aboutsummaryrefslogtreecommitdiff
path: root/Data/Mat/Dagger-2-Poset.agda
AgeCommit message (Expand)Author
2026-04-02Reorganize matrix codeJacques Comeaux
2026-03-27Build dagger 2-poset Mat(R) for idem. comm. rig RJacques Comeaux