10 May
2006
10 May
'06
2:39 p.m.
On Wed, 2006-05-10 at 23:29 +0900, Deokhwan Kim wrote:
Bjorn Lisper wrote:
precisely the same as _|_. Only certain kinds of nontermination can be modeled by _|_ in a non-strict language.
What kinds of nontermination are modeled by _|_ in Haskell?
let f = f in f 3 length [0..] Duncan