Mercurial > urweb

comparison doc/intro.ur @ 1496:3010472edf44

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tutorial section headings
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Jul 2011 17:31:57 -0400
parents af0d4d11c5d7
children 0b639858200b
comparison
equal deleted inserted replaced
1495:af0d4d11c5d7 1496:3010472edf44
1 (* Introduction *) 1 (* Introduction *)
2 2
3 (* 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>. *) 3 (* 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>. *)
4 4
5 (* Test evaluation.... *) 5 (* Test evaluation.... *)
6 6
7 fun f [a] (x : a) : a = x 7 fun f [a] (x : a) : a = x
8 8
9 (* begin eval *) 9 (* begin eval *)
10 f 6 10 f 6
11 (* end *) 11 (* end *)
12 12
13 (* Did it work? *) 13 (** Section *)
14
15 val y = 9