Mercurial > urweb

view tests/pathmap.ur @ 925:552c989c1601

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change string URLification to avoid using the empty string, which confuses Apache no2slash()
author Adam Chlipala <adamc@hcoop.net>
date Sat, 12 Sep 2009 09:31:50 -0400
parents 6271f0e3c272
children
line wrap: on
line source
val x = List.rev (List.Cons (1, List.Cons (0, List.Nil)))
val y = List.mp (plus 2) x

fun main () : transaction page = return <xml><body>
  {[x]}<br/>
  {[y]}<br/>
  {[Aux.hello]}<br/>
  {List.mapX (fn n => <xml>{[n]}!</xml>) x}
</body></xml>