Mercurial > urweb
annotate doc/intro.ur @ 1496:3010472edf44
Tutorial section headings
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 15 Jul 2011 17:31:57 -0400 |
| parents | af0d4d11c5d7 |
| children | 0b639858200b |
| rev | line source |
|---|---|
| adam@1494 | 1 (* Introduction *) |
| adam@1494 | 2 |
| adam@1496 | 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>. *) |
| adam@1495 | 4 |
| adam@1493 | 5 (* Test evaluation.... *) |
| adam@1493 | 6 |
| adam@1493 | 7 fun f [a] (x : a) : a = x |
| adam@1493 | 8 |
| adam@1493 | 9 (* begin eval *) |
| adam@1493 | 10 f 6 |
| adam@1493 | 11 (* end *) |
| adam@1493 | 12 |
| adam@1496 | 13 (** Section *) |
| adam@1496 | 14 |
| adam@1496 | 15 val y = 9 |