diff options
author | Nadrieril | 2019-03-18 00:21:41 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-18 00:21:41 +0100 |
commit | f112145814ed8243904d97c92a15bbdb7053d1a0 (patch) | |
tree | 0e858a2d807f9622a90ae84b94ca1a11ff9e4b82 /dhall/src/main.rs | |
parent | 2ec0dc3f470be85a093caf1ebaa8898576c8c478 (diff) |
Considerably simplify subst, shift and typechecking
Diffstat (limited to '')
-rw-r--r-- | dhall/src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/main.rs b/dhall/src/main.rs index 41953e3..810d789 100644 --- a/dhall/src/main.rs +++ b/dhall/src/main.rs @@ -90,5 +90,5 @@ fn main() { println!("{}", type_expr); println!(); - println!("{}", normalize::<_, X, _>(expr)); + println!("{}", normalize(expr)); } |