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