Mercurial > urweb

diff lib/basis.lig @ 203:dd82457fda82

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing and elaborating 'table'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 Aug 2008 13:20:29 -0400
parents 3eb53c957d10
children 241c9a0e3397
line wrap: on
line diff
--- a/lib/basis.lig	Tue Aug 12 14:55:05 2008 -0400
+++ b/lib/basis.lig	Thu Aug 14 13:20:29 2008 -0400
@@ -7,6 +7,13 @@
 datatype bool = False | True
 
 
+(** SQL *)
+
+con sql_table :: {Type} -> Type
+
+
+(** XML *)
+
 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type