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