summaryrefslogtreecommitdiff
path: root/dhall/src/error
diff options
context:
space:
mode:
authorNadrieril2019-05-09 10:06:17 +0200
committerNadrieril2019-05-09 10:06:17 +0200
commit6c06aefc5a6184f9411316990d9223447b022aa0 (patch)
tree66b3fd5d013b36f5d27aca700becc63a3d985c9f /dhall/src/error
parent82b08fa01b0980e7998760fe3cbba50c855ce454 (diff)
Correctly shift free variables in normalization
Diffstat (limited to 'dhall/src/error')
0 files changed, 0 insertions, 0 deletions