Mercurial > urweb

comparison lib/basis.lig @ 119:7fdc146b2bc2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper handling of non-function-call links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 16:11:25 -0400
parents 3739af9e727a
children adfa2c7a75da
comparison
equal deleted inserted replaced
118:7207f794b916 119:7fdc146b2bc2
1 type int 1 type int
2 type float 2 type float
3 type string 3 type string
4
5 type unit = {}
4 6
5 7
6 con tag :: {Type} -> {Unit} -> {Unit} -> Type 8 con tag :: {Type} -> {Unit} -> {Unit} -> Type
7 9
8 10
29 val p : tag [] [Body] [Body] 31 val p : tag [] [Body] [Body]
30 val b : tag [] [Body] [Body] 32 val b : tag [] [Body] [Body]
31 val i : tag [] [Body] [Body] 33 val i : tag [] [Body] [Body]
32 val font : tag [Size = int, Face = string] [Body] [Body] 34 val font : tag [Size = int, Face = string] [Body] [Body]
33 35
36 val h1 : tag [] [Body] [Body]
37 val li : tag [] [Body] [Body]
38
34 val a : tag [Link = xhtml] [Body] [Body] 39 val a : tag [Link = xhtml] [Body] [Body]