
5 Jun
2007
5 Jun
'07
7 a.m.
Another point worth noting is that the usual lambda calculus
representations of false and zero are equivalent. (However true
is not the same as one.)
Tony.
--
f.a.n.finch