4 lines
70 B
Text
4 lines
70 B
Text
|
|
|
|
|
|
main = (\f.\x.\y. f x + f y) (\x. x+x) ((\x. x+1) ((\x. x+3) 2)) 4
|