summaryrefslogtreecommitdiff
path: root/dhall_normalize/Cargo.toml
diff options
context:
space:
mode:
authorNadrieril2019-03-06 21:32:20 +0100
committerNadrieril2019-03-06 21:32:20 +0100
commitf055754381d17d987664a5df3d3507c610d0f7cd (patch)
tree3315344ea9ab19a951846a406df6f9e57ed5edb9 /dhall_normalize/Cargo.toml
parent19898d575f0fded463356aab952800e35cb9ff46 (diff)
Merge dhall_normalize back into dhall; that was unnecessary
Diffstat (limited to 'dhall_normalize/Cargo.toml')
-rw-r--r--dhall_normalize/Cargo.toml18
1 files changed, 0 insertions, 18 deletions
diff --git a/dhall_normalize/Cargo.toml b/dhall_normalize/Cargo.toml
deleted file mode 100644
index ad1cc0d..0000000
--- a/dhall_normalize/Cargo.toml
+++ /dev/null
@@ -1,18 +0,0 @@
-[package]
-name = "dhall_normalize"
-version = "0.1.0"
-authors = ["NanoTech <nanotech@nanotechcorp.net>", "Nadrieril <nadrieril@users.noreply.github.com>"]
-edition = "2018"
-
-[lib]
-doctest = false
-
-[dependencies]
-bytecount = "0.5.1"
-itertools = "0.8.0"
-lalrpop-util = "0.16.3"
-nom = "3.0.0"
-term-painter = "0.2.3"
-pest = { git = "https://github.com/pest-parser/pest" }
-dhall_core = { path = "../dhall_core" }
-dhall_generator = { path = "../dhall_generator" }