summaryrefslogtreecommitdiff
path: root/dhall_core
diff options
context:
space:
mode:
authorNadrieril2019-04-18 17:29:17 +0200
committerNadrieril2019-04-18 17:42:33 +0200
commitf4a50a5da10eb2de1d7cf00ad6f6765605da366d (patch)
tree4c9595d91a1b83ba1430d10a3583ca43a91f6831 /dhall_core
parent9c8ba84fa5d0b392f19e9e9b8569ee2fbe96bd28 (diff)
Make normalize manipulate SubExprs more directly
Diffstat (limited to 'dhall_core')
0 files changed, 0 insertions, 0 deletions