Signed-off-by: Jim Pryor <profjim@jimpryor.net>
--- /dev/null
+#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))))
+