Mercurial > urweb
diff lib/basis.lig @ 119:7fdc146b2bc2
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 |
line wrap: on
line diff
--- a/lib/basis.lig Sun Jul 13 15:47:18 2008 -0400 +++ b/lib/basis.lig Sun Jul 13 16:11:25 2008 -0400 @@ -2,6 +2,8 @@ type float type string +type unit = {} + con tag :: {Type} -> {Unit} -> {Unit} -> Type @@ -31,4 +33,7 @@ val i : tag [] [Body] [Body] val font : tag [Size = int, Face = string] [Body] [Body] +val h1 : tag [] [Body] [Body] +val li : tag [] [Body] [Body] + val a : tag [Link = xhtml] [Body] [Body]