
25 May
2011
25 May
'11
2:56 a.m.
On 25/05/11 16:46, Eugene Kirpichov wrote:
data FList a = FNil | FCons Int a (FList a) empty = FNil len FNil = 0 len (FCons n _) = n cons x xs = FCons (1 + len xs) x xs tail (FCons _ _ xs) = xs My mistake, sorry. Currently looking for original reason to have accidentally come to believe that.
-- Tony Morris http://tmorris.net/