Mercurial > urweb

comparison lib/basis.lig @ 91:4327abd52997

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basic XML stuff
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 16:26:28 -0400
parents d3cc191cb25f
children 94afff1ff7f6
comparison
equal deleted inserted replaced
90:94ef20a31550 91:4327abd52997
1 type int 1 type int
2 type float 2 type float
3 type string 3 type string
4
5
6 con tag :: {Unit} -> {Unit} -> Type
7
8
9 con xml :: {Unit} -> Type
10 val cdata : ctx ::: {Unit} -> string -> xml ctx
11 val tag : outer ::: {Unit} -> inner ::: {Unit}
12 -> tag outer inner
13 -> xml inner
14 -> xml outer
15 val join : shared :: {Unit}
16 -> ctx1 ::: {Unit} -> ctx1 ~ shared
17 -> ctx2 ::: {Unit} -> ctx2 ~ shared
18 -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared
19
20
21 val head : tag [Html] [Head]
22 val title : tag [Head] []