aboutsummaryrefslogtreecommitdiff
path: root/Data/Matrix
AgeCommit message (Expand)Author
32 hoursSimplify construction of matrix endofunctorJacques Comeaux
33 hoursAdd endofunctor for matrices of fixed sizeJacques Comeaux
2026-04-03Add free functor from rig-matrices to semimodulesJacques Comeaux
2026-04-02Reorganize matrix codeJacques Comeaux