damn tweaks19, delete *.rkt

[lambda.git] / damn4.rkt

diff --git a/damn4.rkt b/damn4.rkt
deleted file mode 100644 (file)
index 65fb49e..0000000
--- 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))))
-