diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-21 18:44:52 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 18:44:52 -0400 |
| commit | d66bb9f256db65e3487dec361a4a5a9d7ee238b0 (patch) | |
| tree | 02a7bb0fa4faec1697c91fbc22c46014b3ff49c5 /demo/sql.urs | |
| parent | d249f18f65213b5a198f39e254982293ecaa0e10 (diff) | |
Sql demo
Diffstat (limited to 'demo/sql.urs')
| -rw-r--r-- | demo/sql.urs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/demo/sql.urs b/demo/sql.urs new file mode 100644 index 00000000..6ac44e0b --- /dev/null +++ b/demo/sql.urs @@ -0,0 +1 @@ +val main : unit -> transaction page |