diff options
author | Nadrieril | 2020-01-30 11:17:49 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-30 11:17:49 +0000 |
commit | 7743647137d1914c280e03d6aaee81e507cff97d (patch) | |
tree | bf9a7a4767decc929820b24b63c29e1b391a8719 /dhall/src/semantics/phase/typecheck.rs | |
parent | 655f67fb29ca847f86c3e19338757e7b031d4f50 (diff) |
Remove old typecheck module
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/phase/typecheck.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dhall/src/semantics/phase/typecheck.rs b/dhall/src/semantics/phase/typecheck.rs deleted file mode 100644 index 8b13789..0000000 --- a/dhall/src/semantics/phase/typecheck.rs +++ /dev/null @@ -1 +0,0 @@ - |