aboutsummaryrefslogtreecommitdiff
path: root/Data/Mat/SemiadditiveDagger.agda
AgeCommit message (Expand)Author
2026-04-02Reorganize matrix codeJacques Comeaux
2026-03-27Add commutative rig matrix semiadditive structureJacques Comeaux
2026-03-27Add dagger structure for commutative rig matricesJacques Comeaux