6 lines
No EOL
104 B
Text
6 lines
No EOL
104 B
Text
I x = x ;
|
|
K x y = x ;
|
|
K1 x y = y ;
|
|
S f g x = f x (g x) ;
|
|
compose f g x = f (g x) ;
|
|
twice f = compose f f |