25 May
2011
25 May
'11
3:38 a.m.
Tony Morris schrieb:
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.
Maybe you thought of 'take'.