aboutsummaryrefslogtreecommitdiff
path: root/Data/Vector/Vec.agda
AgeCommit message (Collapse)Author
12 daysInclude missing propertiesJacques Comeaux
2026-07-07Update matrices and vectorsJacques Comeaux
2026-04-02Reorganize matrix codeJacques Comeaux
2026-03-28Begin separating vector concepts from matricesJacques Comeaux