Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
10 lines (6 sloc) 122 Bytes
module Y where
fact :: (Int -> Int) -> Int -> Int
fact f 1 = 1
fact f n = n * f (n-1)
y :: (a -> a) -> a
y f = f (y f)