summaryrefslogtreecommitdiff
path: root/src/Helium/Algebra/Definitions.agda
AgeCommit message (Expand)Author
2022-01-07Add some required algebraic types.Greg Brown