diff --git a/standard-ml.sml b/standard-ml.sml new file mode 100644 index 0000000..584d2ce --- /dev/null +++ b/standard-ml.sml @@ -0,0 +1,10 @@ +fun add (x : int) (y : int) : int = + x + y + +fun each (xs : 'a list) (f : 'a -> 'b) : 'b list = + case xs of + [] => [] + | x :: xs' => f x :: each xs' f + +val 3 = add 1 2 +val [2,3,4] = each [1,2,3] (fn x => x + 1)