Merge pull request #118 from Nadrieril/clarify-types

Clarify naming and file organization

1 files changed, 0 insertions, 13 deletions

diff --git a/dhall/src/syntax/core/mod.rs b/dhall/src/syntax/core/mod.rs
deleted file mode 100644
index 66bf229..0000000
--- a/dhall/src/syntax/core/mod.rs
+++ /dev/null
@@ -1,13 +0,0 @@
-mod expr;
-pub use expr::*;
-mod import;
-pub use import::*;
-mod label;
-pub use label::*;
-mod span;
-pub use span::*;
-mod text;
-pub use text::*;
-pub mod context;
-pub mod map;
-pub mod visitor;