Re: Obfuscated Lisp contest anyone? (Seriously)

> On Apr 15, 2023, at 7:38 AM, Tim McNerney <[email protected]> wrote:
> 
> Hmm… Is it crazy to contemplate launching an obfuscated Lisp contest?

Here is my entry:

((λ f ((λ g (g g)) (λ (h x) ((f (h h)) x))))
 (λ f
    (λ n
       (λ nil
          (((λ (c _t e) (c _t e))
            ((λ pair (pair (λ (l r) (λ (then else) else)))) n)
            (λ dummy
               ((λ n
                   ((λ (l r) (λ (selector) (selector l r)))
                    (λ selector (λ (then else) then)) n))
                (λ selector (λ (then else) then))))
            (λ dummy
               ((λ (n1 n2)
                   (((λ f ((λ g (g g)) (λ (h x) ((f (h h)) x))))
                     (λ f
                        (λ (n1 n2 product)
                           (λ nil
                              (((λ (c _t e) (c _t e))
                                ((λ pair (pair (λ (l r) (λ (then else) else))))
                                 n2)
                                (λ dummy product)
                                (λ dummy
                                   (f n1
                                    ((λ n ((λ pair (pair (λ (l r) r))) n)) n2)
                                    (((λ f
                                         ((λ g (g g)) (λ (h x) ((f (h h)) x))))
                                      (λ f
                                         (λ
                                          (n1 n2)
                                          (λ
                                           nil
                                           (((λ (c _t e) (c _t e))
                                             ((λ
                                               pair
                                               (pair
                                                (λ
                                                 (l r)
                                                 (λ (then else) else))))
                                              n2)
                                             (λ dummy n1)
                                             (λ
                                              dummy
                                              (f
                                               ((λ
                                                 n
                                                 ((λ
                                                   (l r)
                                                   (λ
                                                    (selector)
                                                    (selector l r)))
                                                  (λ
                                                   selector
                                                   (λ (then else) then))
                                                  n))
                                                n1)
                                               ((λ
                                                 n
                                                 ((λ pair (pair (λ (l r) r)))
                                                  n))
                                                n2))))
                                            (λ x x))))))
                                     n1 product))))
                               (λ x x))))))
                    n1 n2 (λ selector (λ (then else) then))))
                n (f ((λ n ((λ pair (pair (λ (l r) r))) n)) n)))))
           (λ x x))))))