summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2019-08-20 18:03:59 +0200
committerNadrieril2019-08-20 18:03:59 +0200
commit4f1f37cfc115510500e83d2dfbfa8ed7ddeae74a (patch)
tree77c743b9c55afbbb5966a3c90614c6d3d257813d /dhall-lang
parenta506632b27b287d1bf898e2f77ae09a56902474c (diff)
Introduce a new enum to store either a Value or a ValueF
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions