summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSon Ho2021-11-25 15:20:33 +0100
committerSon Ho2021-11-25 15:20:33 +0100
commit33814c82e8465a0d5f7c6d8f1d39bae087ffb547 (patch)
tree3b87946ba3946df6139fbf12e3cf19b338d38ee5 /Makefile
parent333a286b627948320cc522a0e49350f9c878014c (diff)
Replace `open Values` with `module V = Values` in Interpreter
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions