summaryrefslogtreecommitdiff
path: root/src/Helium/Semantics/Axiomatic/Core.agda
AgeCommit message (Expand)Author
2022-02-21Generalise slice and join into cut and splice.Greg Brown
2022-02-16Begin work on axiomatic semantics.Greg Brown