23 Jun
2006
23 Jun
'06
3:01 p.m.
On Fri, Jun 23, 2006 at 10:57:48AM -0400, Paul Hudak wrote:
voigt.16734551@bloglines.com wrote:
Well, each partial list is finite.
I think quite a few people would agree that a finite list is one ending in []. So 1:_|_ is a partial list, but not a finite one. 1:[] is a finite list.
1:_|_ is certainly finite. In what sense is it not?
And what is length _|_ ?