Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
202:af5bd54cbbd7 203:dd82457fda82
4 4
5 type unit = {} 5 type unit = {}
6 6
7 datatype bool = False | True 7 datatype bool = False | True
8 8
9
10 (** SQL *)
11
12 con sql_table :: {Type} -> Type
13
14
15 (** XML *)
9 16
10 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type 17 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
11 18
12 19
13 con xml :: {Unit} -> {Type} -> {Type} -> Type 20 con xml :: {Unit} -> {Type} -> {Type} -> Type