summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2020-11-01 17:45:12 +0000
committerNadrieril2020-11-01 18:00:03 +0000
commita4332cfbd99a5a00563090a080e9bcb0cde9e963 (patch)
treebe40b0249753708c36993b84f73620da72591934 /dhall-lang
parent66ea301fc25a07485286560c434a9fdaf460c431 (diff)
Typed and TypedHir are the same
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions