summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2019-05-05 01:40:32 +0200
committerNadrieril2019-05-05 01:40:32 +0200
commit186505f9da55097bd10dbe998975e725a53fa78a (patch)
treee24844b96e86a28fe78c525f9871673f28628109 /dhall-lang
parent929db5780ceff67a042d6417d08d224da59efc7a (diff)
WHNF for TextLit means no interpolations of text and strict alternation
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions