I am trying to print church numerals in haskell using the definions:
0 := λfx.x
1 := λfx.f x
Haskell code:
c0 = \f x -> x
c1 = \f x -> f x
When I enter it in the haskell console I get an error which says
test> c1
<interactive>:1:0:
No instance for (Show ((t -> t1) -> t -> t1))
arising from a use of `print' at <interactive>:1:0-1
Possible fix:
add an instance declaration for (Show ((t -> t1) -> t -> t1))
In a stmt of an interactive GHCi command: print it
I am not able to exactly figure out what error says.
Thank you!