aboutsummaryrefslogtreecommitdiff
path: root/Data/Vector/Vec.agda
AgeCommit message (Collapse)Author
2026-04-02Reorganize matrix codeJacques Comeaux
2026-03-28Begin separating vector concepts from matricesJacques Comeaux