diff options
author | Nadrieril | 2019-08-12 23:24:48 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-13 14:24:56 +0200 |
commit | 52f9ecfc4dac65d305fd920e8c7f748889a0804f (patch) | |
tree | 106a54c066d1a38e99a73644f0b8f20df280b7e7 /dhall/src/core | |
parent | 7d17d39005531cb77d8eaf32ed7de8938c66f874 (diff) |
Move api into its own crate
Diffstat (limited to 'dhall/src/core')
-rw-r--r-- | dhall/src/core/mod.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dhall/src/core/mod.rs b/dhall/src/core/mod.rs index a202e72..0667df8 100644 --- a/dhall/src/core/mod.rs +++ b/dhall/src/core/mod.rs @@ -1,4 +1,4 @@ -pub(crate) mod context; -pub(crate) mod thunk; -pub(crate) mod value; -pub(crate) mod var; +pub mod context; +pub mod thunk; +pub mod value; +pub mod var; |