summaryrefslogtreecommitdiff
path: root/dhall/src/error
diff options
context:
space:
mode:
authorNadrieril2020-11-03 23:31:37 +0000
committerGitHub2020-11-03 23:31:37 +0000
commit51b40c6e36a0aad28ffb44debf84cba4c7028680 (patch)
tree4585a98c7ef97a3b3afa1934a9d184cfb89040d1 /dhall/src/error
parent71c8e889610b8b9bb6155c20ca91bac4ebc9daee (diff)
parentecc5242463308c16f38dbd5015b9f264f990b76a (diff)
Merge pull request #196 from Nadrieril/allow-mutation-in-normalization
Diffstat (limited to 'dhall/src/error')
0 files changed, 0 insertions, 0 deletions