diff options
| author | Nadrieril | 2019-04-11 13:11:52 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-11 13:11:52 +0200 |
| commit | 82d62c4d7d423817a4fd9d6294d27d18d60bcd22 (patch) | |
| tree | 887b4af84bc2c69886616a4a9c8aa27fa846238a /dhall_core/src/core.rs | |
| parent | 9a060908aae564e7155259a4e12d63be3fb97d9b (diff) | |
Add basic deserialization support
Closes #13
Diffstat (limited to 'dhall_core/src/core.rs')
| -rw-r--r-- | dhall_core/src/core.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs index 39dea37..03a34f1 100644 --- a/dhall_core/src/core.rs +++ b/dhall_core/src/core.rs @@ -3,7 +3,6 @@ use crate::*; use std::collections::BTreeMap; use std::rc::Rc; -pub type Int = isize; pub type Integer = isize; pub type Natural = usize; pub type Double = NaiveDouble; |