[PRL] Palindromic programs

[will at ccs.neu.edu]

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))

Will