Rewrite normalization and typechecking with environments (#126)

Rewrite normalization and typechecking with environments

1 files changed, 8 insertions, 3 deletions

diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs
index 1eeef86..98fdf5a 100644
--- a/dhall/src/semantics/mod.rs
+++ b/dhall/src/semantics/mod.rs
@@ -1,3 +1,8 @@
-pub mod core;
-pub mod phase;
-pub mod to_expr;
+pub mod builtins;
+pub mod nze;
+pub mod parse;
+pub mod resolve;
+pub mod tck;
+pub(crate) use self::builtins::*;
+pub(crate) use self::nze::*;
+pub(crate) use self::tck::*;