summaryrefslogtreecommitdiff
path: root/src/Helium/Algebra/Construct/Pointwise.agda
AgeCommit message (Expand)Author
2022-01-18Define the semantics of pseudocode data types.Greg Brown
2022-01-07Demonstrate pointwise Vectors inherit algebraic properties.Greg Brown