[PL-sem-jr] meeting outcome

[Jed Davis]

On Sun, Sep 20, 2009 at 10:55:27PM -0400, Jed Davis wrote:
> Or maybe I'll dust off my _Bounded Quantification Is Undecidable_ notes.

I hate to do this on such short notice but: I won't be giving a talk
today.  I've gotten a mild cold or something in my throat, and while I
don't have any problems speaking yet, talking for two hours straight
seems like maybe a bad idea.

-- 
(let ((C call-with-current-continuation)) (apply (lambda (x y) (x y)) (map
((lambda (r) ((C C) (lambda (s) (r (lambda l (apply (s s) l))))))  (lambda
(f) (lambda (l) (if (null? l) C (lambda (k) (display (car l)) ((f (cdr l))
(C k)))))))    '((#\J #\d #\D #\v #\s) (#\e #\space #\a #\i #\newline)))))