summaryrefslogtreecommitdiff
path: root/src/Helium/Semantics
diff options
context:
space:
mode:
authorGreg Brown <greg.brown@cl.cam.ac.uk>2021-12-20 14:31:30 +0000
committerGreg Brown <greg.brown@cl.cam.ac.uk>2021-12-20 14:31:30 +0000
commit855f823999e1090386e538b7ec02a286e55131e7 (patch)
treee94997dd541d4db74f373f79dac72410a1789f06 /src/Helium/Semantics
parent3302870babadcb11a8eea02f16cc1192d22a8016 (diff)
Add some convenience functions.
Diffstat (limited to 'src/Helium/Semantics')
0 files changed, 0 insertions, 0 deletions