diff options
author | Nadrieril | 2019-03-06 12:25:05 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-06 12:35:31 +0100 |
commit | 2e02360dc12b55f3811ba58bb17c21514990134c (patch) | |
tree | 2c9fc1bd0db2dd801842aa72d7e1144bc631e53a /dhall_normalize/src/lib.rs | |
parent | 564a5f37b106c69d8ebe9aec2f665f5222b3dfda (diff) |
Split-off normalization into its own crate
Diffstat (limited to 'dhall_normalize/src/lib.rs')
-rw-r--r-- | dhall_normalize/src/lib.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dhall_normalize/src/lib.rs b/dhall_normalize/src/lib.rs new file mode 100644 index 0000000..a2f7041 --- /dev/null +++ b/dhall_normalize/src/lib.rs @@ -0,0 +1,5 @@ +#![feature(box_patterns)] +#![feature(trace_macros)] + +mod normalize; +pub use crate::normalize::*; |