summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2020-04-07 11:41:46 +0100
committerNadrieril2020-04-07 11:41:46 +0100
commit5bf1a00fab1bb10b8e8e2b20d9c53b5c75910253 (patch)
tree2cc8b165668e5206b9c6cc09ebaf2f08ebbe8eb5 /dhall-lang
parent9046f2f6d3a63f907ff17afc7725183577bb1b9c (diff)
Implement remaining record simplification
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions