alms-0.6.0: examples/ex01.alms

(* A Type-Correct, Blame-Free Program *)

let ap (f: int -A> int) x = f x

let inc y = ap ((+) 1) y

in print (inc 5)