summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2019-05-05 01:44:20 +0200
committerNadrieril2019-05-05 01:44:20 +0200
commit699cc6e23a4fe867abfb63129923e548436f9dea (patch)
treecf54f0a76d2e3dcbeb20ba38093e8d4f1e92ec84 /dhall-lang
parent186505f9da55097bd10dbe998975e725a53fa78a (diff)
Preserve text WHNF on concatenation
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions