summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2019-09-02 23:03:05 +0200
committerNadrieril2019-09-02 23:03:05 +0200
commitf892f0bdb1dc9a8f2d1cda245e17c28fcf1090b3 (patch)
treed3dc2c2fd2b98c2938b01e7ffb5bf2a085b32feb /dhall-lang
parent5dde11c8ffb13fbaf5dbc9c2b544270c22a7d2f5 (diff)
Improve hygiene of identifiers
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions