6 lines
174 B
Haskell
6 lines
174 B
Haskell
church :: Integer -> String
|
|
church n = "\\f.\\x."<>church' n
|
|
where church' :: Integer -> String
|
|
church' 0 = "x"
|
|
church' x = "(f " <> church' (x - 1) <> ")"
|