Cacher is the code snippet organizer for pro developers

-- P(x, y) <=> x < y
-- f(x, y) = (μz < y)[P(x, z)]

p x y = x < y
f x 0 = 0
f x y = h x (y-1) (f x (y-1))
h x y g | g < y            = f x y
        | g == y && p x y  = y
        | otherwise        = y + 1