Mercurial > urweb
annotate doc/intro.ur @ 1495:af0d4d11c5d7
Allow HTML in tutorial comments
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 15 Jul 2011 17:25:09 -0400 |
| parents | 9ef6dd0df7a0 |
| children | 3010472edf44 |
| rev | line source |
|---|---|
| adam@1494 | 1 (* Introduction *) |
| adam@1494 | 2 |
| adam@1495 | 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>. *) |
| 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@1493 | 13 (* Did it work? *) |