summaryrefslogtreecommitdiff
path: root/doc/intro.ur
blob: 00761ad1c08b2c9e56b38d72a2b12e38506f8018 (plain)
1
2
3
4
5
6
7
8
9
(* Test evaluation.... *)

fun f [a] (x : a) : a = x

(* begin eval *)
f 6
(* end *)

(* Did it work? *)