diff options
| author | Nadrieril | 2019-05-06 23:52:15 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-06 23:52:15 +0200 |
| commit | 55b5be3407a8528bc47482a591b168a7cb0ce91e (patch) | |
| tree | 4ccd6a98d01e6436c7fdd51a77837b02847fc3a2 /dhall/src/core/mod.rs | |
| parent | 5b91eaa9d6b70a2ac72fe19f2d21871c8d94b017 (diff) | |
Move main datatypes into their own modules
Diffstat (limited to 'dhall/src/core/mod.rs')
| -rw-r--r-- | dhall/src/core/mod.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall/src/core/mod.rs b/dhall/src/core/mod.rs new file mode 100644 index 0000000..8f5c2ca --- /dev/null +++ b/dhall/src/core/mod.rs @@ -0,0 +1,3 @@ +pub(crate) mod context; +pub(crate) mod thunk; +pub(crate) mod value; |