<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">An obfuscated Lisp contest would be fun! I think a winning entry must necessarily use a custom readtable...<div><br></div><div>cheers,</div><div>phoebe<br><div><br><blockquote type="cite"><div>On Apr 15, 2023, at 12:01 PM, Ron Garret <ron@flownet.com> wrote:</div><br class="Apple-interchange-newline"><div><meta http-equiv="Content-Type" content="text/html; charset=utf-8"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><br><div><br><blockquote type="cite"><div>On Apr 15, 2023, at 7:38 AM, Tim McNerney <<a href="mailto:mc@media.mit.edu">mc@media.mit.edu</a>> wrote:</div><div><div dir="auto"><div><br></div><div><b>Hmm… Is it <i>crazy</i> to contemplate launching an obfuscated <i>Lisp</i> contest?</b></div></div></div></blockquote><div><br></div><div>Here is my entry:</div><div><br></div><div><div><font face="Monaco" size="1"><span style="font-style: normal;">((λ f ((λ g (g g)) (λ (h x) ((f (h h)) x))))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;"> (λ f</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">    (λ n</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">       (λ nil</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">          (((λ (c _t e) (c _t e))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">            ((λ pair (pair (λ (l r) (λ (then else) else)))) n)</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">            (λ dummy</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">               ((λ n</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                   ((λ (l r) (λ (selector) (selector l r)))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                    (λ selector (λ (then else) then)) n))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                (λ selector (λ (then else) then))))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">            (λ dummy</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">               ((λ (n1 n2)</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                   (((λ f ((λ g (g g)) (λ (h x) ((f (h h)) x))))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                     (λ f</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                        (λ (n1 n2 product)</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                           (λ nil</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                              (((λ (c _t e) (c _t e))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                ((λ pair (pair (λ (l r) (λ (then else) else))))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                 n2)</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                (λ dummy product)</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                (λ dummy</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                   (f n1</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                    ((λ n ((λ pair (pair (λ (l r) r))) n)) n2)</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                    (((λ f</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                         ((λ g (g g)) (λ (h x) ((f (h h)) x))))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                      (λ f</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                         (λ</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                          (n1 n2)</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                          (λ</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                           nil</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                           (((λ (c _t e) (c _t e))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                             ((λ</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                               pair</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                               (pair</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                (λ</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                 (l r)</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                 (λ (then else) else))))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                              n2)</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                             (λ dummy n1)</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                             (λ</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                              dummy</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                              (f</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                               ((λ</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                 n</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                 ((λ</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                   (l r)</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                   (λ</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                    (selector)</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                    (selector l r)))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                  (λ</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                   selector</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                   (λ (then else) then))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                  n))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                n1)</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                               ((λ</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                 n</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                 ((λ pair (pair (λ (l r) r)))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                  n))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                                n2))))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                            (λ x x))))))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                                     n1 product))))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                               (λ x x))))))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                    n1 n2 (λ selector (λ (then else) then))))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">                n (f ((λ n ((λ pair (pair (λ (l r) r))) n)) n)))))</span></font></div><div><font face="Monaco" size="1"><span style="font-style: normal;">           (λ x x))))))</span></font></div></div><div><font face="Monaco" size="1"><span style="font-style: normal;"><br></span></font></div><div><br></div></div></div></div></blockquote></div><br></div></body></html>