blob: 2a571068f58b6f208a2e81997a1c2f4e2f4d7618 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(* Introduction *)
(* This work is licensed under a <a href="http://creativecommons.org/licenses/by-nc-nd/3.0/">Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License</a>. *)
(* Test evaluation.... *)
fun f [a] (x : a) : a = x
(* begin eval *)
f 6
(* end *)
(* Did it work? *)
|