summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 11:43:57 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 11:43:57 -0400
commit95d278b9b8e9c314541b8251a34a32fe6deeb896 (patch)
treef0f262173a66272d9d91248844f2facc40cc65a2 /lib
parent3316f3c317e587a5fc2ecf38f061a72b48e3b94e (diff)
Starting with closure links
Diffstat (limited to 'lib')
-rw-r--r--lib/basis.lig4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/basis.lig b/lib/basis.lig
index cd106950..dcf1713d 100644
--- a/lib/basis.lig
+++ b/lib/basis.lig
@@ -20,6 +20,8 @@ val join : shared :: {Unit}
-> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared
+con xhtml = xml [Html]
+
val head : tag [] [Html] [Head]
val title : tag [] [Head] []
@@ -28,3 +30,5 @@ val p : tag [] [Body] [Body]
val b : tag [] [Body] [Body]
val i : tag [] [Body] [Body]
val font : tag [Size = int, Face = string] [Body] [Body]
+
+val a : tag [Link = xhtml] [Body] [Body]