adam@1494: (* Introduction *)
adam@1494: 
adam@1496: (* 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>. *)
adam@1495: 
adam@1493: (* Test evaluation.... *)
adam@1493: 
adam@1493: fun f [a] (x : a) : a = x
adam@1493: 
adam@1493: (* begin eval *)
adam@1493: f 6
adam@1493: (* end *)
adam@1493: 
adam@1496: (** Section *)
adam@1496: 
adam@1496: val y = 9