aboutsummaryrefslogtreecommitdiff
path: root/Data/Matrix/Semiadditive.agda
AgeCommit message (Expand)Author
13 daysAdd more matrix operationsJacques Comeaux
2026-08-13Show free semimodule functor is cartesianJacques Comeaux
2026-08-05Show matrix change of base functor is cartesianJacques Comeaux