On 11/07/2013, at 11:09 AM, Donn Cave wrote: > let x = t + 1 in > let y = x in > let x = y + 1 in x > Still no cigar. nhc98 v1.16 Program: main = print $ (let t = 0 in let x = t + 1 in let y = x in let x = y + 1 in x) Output: 2