summaryrefslogtreecommitdiff
path: root/src/Helium/Instructions/Instances/Barrett.agda
AgeCommit message (Expand)Author
2022-02-17Make call and invoke take All instead of tuple.Greg Brown
2022-02-13Write pseudocode definition of Barrett reductionGreg Brown