From 70d6090d68c38585cfb15a617a2d36b0508f6aa0 Mon Sep 17 00:00:00 2001
From: nisstyre56 <wjak56@gmail.com>
Date: Sun, 1 Jun 2014 18:52:46 -0400
Subject: [PATCH] remove old cruft

---
 environments.js | 15 ++++-----------
 1 file changed, 4 insertions(+), 11 deletions(-)

diff --git a/environments.js b/environments.js
index 51ee39e..44558fc 100644
--- a/environments.js
+++ b/environments.js
@@ -42,14 +42,7 @@ function lookup(name, env) {
   return value;
 }
 
-var prelude = makeEnv("prelude", [[new rep.Name("e"), new rep.FloatT(Math.E)],
-                                  [new rep.Name("pi"), new rep.FloatT(Math.PI)]]);
-
-var prelude_types = makeEnv("prelude_types",
-                            [[new rep.Name("e"), new rep.TypeOp("Float", [], false)],
-                            [new rep.Name("pi"), new rep.TypeOp("Float", [], false)]]);
-
-module.exports = { prelude : prelude,
-                   prelude_types : prelude_types,
-                   lookup : lookup,
-                   extend : extend };
+module.exports = {
+  lookup : lookup,
+  extend : extend
+};