summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2019-03-03 00:08:57 +0100
committerNadrieril2019-03-03 00:26:23 +0100
commitb7ce3e60770be41d8ccf773541c586c75d2a4e38 (patch)
tree19fe6bcc070358f2d46a75f5df72adeaba4b08f8 /dhall-lang
parent54d3f23e68bf6e769d8a96e40a2b0c4426e38507 (diff)
Merge builtins in a single enum
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions