Ur/Web: tests/pathmap.ur annotate

Comments in .urp files

author	Adam Chlipala <adam@chlipala.net>
date	Sat, 11 Dec 2010 13:42:54 -0500
parents	6271f0e3c272
children

rev	line source
adamc@794	1 val x = List.rev (List.Cons (1, List.Cons (0, List.Nil)))
adamc@794	2 val y = List.mp (plus 2) x
adamc@794	3
adamc@794	4 fun main () : transaction page = return <xml><body>
adamc@794	5 {[x]}<br/>
adamc@795	6 {[y]}<br/>
adamc@796	7 {[Aux.hello]}<br/>
adamc@796	8 {List.mapX (fn n => <xml>{[n]}!</xml>) x}
adamc@794	9 </body></xml>

Mercurial > urweb