aboutsummaryrefslogtreecommitdiff
path: root/Data/Matrix/Monoid.agda
AgeCommit message (Collapse)Author
13 daysAdd more matrix operationsJacques Comeaux
2026-08-13Show free semimodule functor is cartesianJacques Comeaux
2026-07-07Update matrices and vectorsJacques Comeaux
2026-04-02Reorganize matrix codeJacques Comeaux