1 2 3 4 5 6 7 8
module F3 where fac :: Int -> Int fac x = if (x==0) then 1 else x*fac (x-1) f3 = let v = fac in \y -> v y