summaryrefslogtreecommitdiff
path: root/src/Helium/Data/Pseudocode/Algebra.agda
AgeCommit message (Expand)Author
2022-04-02Add more properties for ordered structures.Greg Brown
2022-03-20Rename Pseudocode.Types to something more sensibleGreg Brown