diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-22 19:12:25 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-22 19:12:25 -0400 |
| commit | f19ae3bb20fa0c60e737606949b2bec6e3ae04f9 (patch) | |
| tree | 5668b1cb95b5d999052b7a797ac4112fab8afdf7 /lib | |
| parent | 6c5b16aa47eeb84d5f6ee9fc6cb265424e63f74c (diff) | |
gform in proper order
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.lig | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/basis.lig b/lib/basis.lig index 3e3950cf..64dee2a3 100644 --- a/lib/basis.lig +++ b/lib/basis.lig @@ -24,7 +24,10 @@ val join : ctx ::: {Unit} -> xml ctx use1 bind1 -> xml ctx (use1 ++ bind1) bind2 -> xml ctx use1 (bind1 ++ bind2) - +val useMore : ctx ::: {Unit} -> use1 ::: {Type} -> use2 ::: {Type} -> bind ::: {Type} + -> use1 ~ use2 + -> xml ctx use1 bind + -> xml ctx (use1 ++ use2) bind con xhtml = xml [Html] con page = xhtml [] [] |