summaryrefslogtreecommitdiff
path: root/src/Helium/Data/Pseudocode/Algebra.agda
AgeCommit message (Collapse)Author
2022-03-20Rename Pseudocode.Types to something more sensibleGreg Brown