Church Numeral oriented Haskell Programmer: three = \f x -> f (f (f x)) fac = \n f -> n (\f n -> n (f (\f x -> n f (f x)))) (\x -> f) (\x -> x) mai

Church Numeral oriented Haskell Programmer: three = \f x -> f (f (f x)) fac = \n f -> n (\f n -> n (f (\f x -> n f (f x)))) (\x -> f) (\x -> x) main = print $ fac three (+ 1) 0