summaryrefslogtreecommitdiff
path: root/dhall/tests/normalization/success
diff options
context:
space:
mode:
authorNadrieril2020-11-02 04:06:05 +0000
committerNadrieril2020-11-03 23:18:58 +0000
commit85d946016d67515aa70fa01338512e3fd7df408e (patch)
treecaebbfed831184bdf443d0b0f28dd38eea26354e /dhall/tests/normalization/success
parent9e8ae42b2742e27a70a7fb8ea79ae21060d43fc1 (diff)
Typecheck `with` using mutation
Diffstat (limited to 'dhall/tests/normalization/success')
0 files changed, 0 insertions, 0 deletions