dhall-lang · Gabriella439 · Sep 11, 2018
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "Prelude"]
+	path = Prelude
+	url = https://github.com/dhall-lang/Prelude.git
diff --git a/Prelude b/Prelude
diff --git a/Prelude/Bool/and b/Prelude/Bool/and
diff --git a/Prelude/Bool/build b/Prelude/Bool/build
diff --git a/Prelude/Bool/even b/Prelude/Bool/even
diff --git a/Prelude/Bool/fold b/Prelude/Bool/fold
diff --git a/Prelude/Bool/not b/Prelude/Bool/not
diff --git a/Prelude/Bool/odd b/Prelude/Bool/odd
diff --git a/Prelude/Bool/or b/Prelude/Bool/or
diff --git a/Prelude/Bool/package.dhall b/Prelude/Bool/package.dhall
diff --git a/Prelude/Bool/show b/Prelude/Bool/show
diff --git a/Prelude/Double/package.dhall b/Prelude/Double/package.dhall
diff --git a/Prelude/Double/show b/Prelude/Double/show
diff --git a/Prelude/Function/compose b/Prelude/Function/compose
diff --git a/Prelude/Function/package.dhall b/Prelude/Function/package.dhall
diff --git a/Prelude/Integer/package.dhall b/Prelude/Integer/package.dhall
diff --git a/Prelude/Integer/show b/Prelude/Integer/show
diff --git a/Prelude/Integer/toDouble b/Prelude/Integer/toDouble
diff --git a/Prelude/JSON/Nesting b/Prelude/JSON/Nesting
diff --git a/Prelude/JSON/Tagged b/Prelude/JSON/Tagged
diff --git a/Prelude/JSON/keyText b/Prelude/JSON/keyText
diff --git a/Prelude/JSON/keyValue b/Prelude/JSON/keyValue
diff --git a/Prelude/JSON/package.dhall b/Prelude/JSON/package.dhall