diff options
author | Nadrieril | 2020-11-01 17:45:12 +0000 |
---|---|---|
committer | Nadrieril | 2020-11-01 18:00:03 +0000 |
commit | a4332cfbd99a5a00563090a080e9bcb0cde9e963 (patch) | |
tree | be40b0249753708c36993b84f73620da72591934 /dhall/tests | |
parent | 66ea301fc25a07485286560c434a9fdaf460c431 (diff) |
Typed and TypedHir are the same
Diffstat (limited to 'dhall/tests')
0 files changed, 0 insertions, 0 deletions