X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=damn4.rkt;fp=damn4.rkt;h=0000000000000000000000000000000000000000;hb=bd87cd9e2bd081e4df617169c0b379899cd8ccc2;hp=65fb49ea462b368c36e2cb5de73d470a2c3070b2;hpb=bce61d3c028464b6bea42a46dd7ac471835759eb;p=lambda.git

diff --git a/damn4.rkt b/damn4.rkt
deleted file mode 100644
index 65fb49ea..00000000
--- a/damn4.rkt
+++ /dev/null
@@ -1,17 +0,0 @@
-#lang racket
-
-; thanks to Ken!
-
-(let ((pragma
-       ; An ordered pair whose first component is the assertion
-       ; operator, a unary function, and whose second component
-       ; is the meaning of "damn", a thunk.
-       (call-with-current-continuation
-        (lambda (k)
-          (cons (lambda (prop) prop)
-                (lambda () (k (cons (lambda (prop) (list 'bad prop))
-                                    (lambda () 'id)))))))))
-  (let ((assert (car pragma))
-        (damn   (cdr pragma)))
-    (assert (list 'the 'student 'read 'the (damn) 'book))))
-