Orchid XP v8 <voi### [at] devnull> wrote:
> It is impossible to determine whether two arbitrary terms in the untyped 
> lambda calculus are extensionally equivilent.

  You still haven't defined what "equivilent" means.

-- 
                                                          - Warp

Post a reply to this message