adam@1494: (* Introduction *)
adam@1494: 
adam@1495: (* 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>. *)
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@1493: (* Did it work? *)