[PRL] Palindromic programs

[Doug Orleans]

On Tue, Jan 31, 2012 at 3:17 PM,  <will at ccs.neu.edu> wrote:
> Doug Orleans wrote:
>> These just return #<undefined>, though.  Is there a palindromic
>> program that actually does something interesting?
>
> Possibly.  Here's an idea that should be generalizable:
>
> ((lambda (lambda adbmal x) adbmal)
>  (+)
>  (+)
>  (lambda (x lambda adbmal) adbmal))

Very nice!

I just realized we're fudging the definition of 'palindrome' to allow
parenthesis reversal...

--Doug