Yaltik/hy
2
0
Fork 0
Code Pull Requests Releases Activity

doh

Browse Source
This commit is contained in:
Paul R. Tagliamonte 2013-03-10 15:32:46 -04:00
parent 55062b3845
commit bce14c18a4
1 changed files with 0 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
site/templates/index.html
View File

@ -13,27 +13,6 @@
<div class = 'focus' > <div class = 'focus' >
<div class = 'repl' > <div class = 'repl' >
<textarea id = 'repl-input' class = 'repl-pane repl-left' > <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> </textarea>
<pre id = 'repl-output' class = 'repl-pane repl-right' ></pre> <pre id = 'repl-output' class = 'repl-pane repl-right' ></pre>
</div> </div>