9 lines
134 B
Text
9 lines
134 B
Text
|
ty id : fn a -> a
|
||
|
|
fn id x = x
|
||
|
|
|
||
|
|
ty plus : fn int -> int
|
||
|
|
fn plus (x: int) (y: int) = x + y
|
||
|
|
|
||
|
|
ty main : fn -> int
|
||
|
|
fn main = plus (id 2) 7
|