aboutsummaryrefslogtreecommitdiff
path: root/Data/Matrix/Transform.agda
AgeCommit message (Expand)Author
2026-04-03Add free functor from rig-matrices to semimodulesmainJacques Comeaux
2026-04-02Reorganize matrix codeJacques Comeaux