From bce14c18a4aa54043fcf36bdb42532679f9cb01f Mon Sep 17 00:00:00 2001
From: "Paul R. Tagliamonte" <paultag@debian.org>
Date: Sun, 10 Mar 2013 15:32:46 -0400
Subject: [PATCH] doh

---
 site/templates/index.html | 21 ---------------------
 1 file changed, 21 deletions(-)

diff --git a/site/templates/index.html b/site/templates/index.html
index 4c1df7d..bcbafd7 100644
--- a/site/templates/index.html
+++ b/site/templates/index.html
@@ -13,27 +13,6 @@
             <div class = 'focus' >
                 <div class = 'repl' >
                     <textarea id = 'repl-input' class = 'repl-pane repl-left' >
-; Very much a knockoff (straight port) of Dan Gulotta's 2013 MIT Mystery Hunt
-; puzzle "The Halting Problem".
-
-
-(defn evaluate [f] ((f (lambda [x] (+ x 1))) 0))
-
-(defn successor [n] (lambda [f] (lambda [x] (f ((n f) x)))))
-(defn plus [m n] ((n successor) m))
-(defn exponent [m n] (n m))
-(defn zero [f] (lambda [x] x))
-(defn one [f] (lambda [x] (f x)))
-
-(defn predecessor [n] (lambda [f] (lambda [x]
-  (((n (lambda [g] (lambda [h] (h (g f))))) (lambda [y] x)) (lambda [z] z)))))
-
-(defn subtract [m n] ((m predecessor) n))
-
-(def two (plus one one))
-(def three (plus two one))
-
-(print (evaluate (exponent three three)))
 </textarea>
             <pre id = 'repl-output' class = 'repl-pane repl-right' ></pre>
         </div>