From e2aa333c0811b2cd3003f9aac565e64f8ae37dbb Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 3 Jul 2008 17:14:35 -0400 Subject: More fun with HTML --- lib/basis.lig | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'lib/basis.lig') diff --git a/lib/basis.lig b/lib/basis.lig index 65dd7000..49549f5e 100644 --- a/lib/basis.lig +++ b/lib/basis.lig @@ -20,3 +20,8 @@ val join : shared :: {Unit} val head : tag [Html] [Head] val title : tag [Head] [] + +val body : tag [Html] [Body] +val p : tag [Body] [Body] +val b : tag [Body] [Body] +val i : tag [Body] [Body] -- cgit v1.2.3