diff options
author | Nadrieril | 2019-03-24 23:36:15 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-24 23:36:15 +0100 |
commit | 0424d165836fcbf15aa2e05527d0e790941c9518 (patch) | |
tree | 8aaf71ac08cf912f4d4c2c47f51d58dcaa874891 /dhall_core/src/lib.rs | |
parent | 5663b4499b46a914ad59792220b0a6cfc24b608c (diff) |
Lay groundwork for DhallType deriving
Diffstat (limited to '')
-rw-r--r-- | dhall_core/src/lib.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall_core/src/lib.rs b/dhall_core/src/lib.rs index 0874b09..b15c644 100644 --- a/dhall_core/src/lib.rs +++ b/dhall_core/src/lib.rs @@ -18,4 +18,6 @@ mod printer; pub use crate::printer::*; mod parser; pub use crate::parser::*; +mod dhall_type; +pub use dhall_type::*; pub mod context; |