blob: 1bdc6de1b273c29cc378bd9453061e09ebb82049 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
(* Introduction *)
(* This tutorial 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 *)
(** Section *)
val y = 9
|