diff tests/html.lac @ 91:4327abd52997

Basic XML stuff
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 16:26:28 -0400
parents
children 1a4c51fa615c
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/html.lac	Thu Jul 03 16:26:28 2008 -0400
@@ -0,0 +1,3 @@
+val text : xml[Html] = <html>
+        <head/>
+</html>