20 lines
476 B
Text
20 lines
476 B
Text
|
|
--tripplemagic : Int -> Int -> Int -> Int;
|
|
--tripplemagic x y z = ((\x:Int. x+x) x) + y + z;
|
|
--main : Int;
|
|
--main = tripplemagic ((\x:Int. x+x+3) ((\x:Int. x) 2)) 5 3
|
|
|
|
--apply : (Int -> Int) -> Int -> Int;
|
|
--apply f x = f x;
|
|
--
|
|
--main : Int;
|
|
--main = (\x : Int . x + 5) 5
|
|
|
|
|
|
apply : (Int -> Int -> Int) -> Int -> Int -> Int;
|
|
apply f x y = f x y;
|
|
krimp: Int -> Int -> Int;
|
|
krimp x y = x + y;
|
|
main : Int;
|
|
main = apply (krimp) 2 3;--apply (\y: Int . (\x: Int . x + y + 2)) 5 2;
|
|
|