18 Nov
2005
18 Nov
'05
7:04 p.m.
--- Lennart Augustsson <lennart@augustsson.net> wrote:
What do you mean by represent? It's easy enough to write down the lambda term that is the encoding of [0..].
-- Lennart
You mean like \x -> x ? If I apply it to the Church numeral i, I get i in return. But that hardly seems satisifying because infinite lists seem to be a wholly different type of object. === Gregory Woodhouse <gregory.woodhouse@sbcglobal.net> "Interaction is the mind-body problem of computing." --Philip Wadler