diff options
Diffstat (limited to 'lib/basis.lig')
-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 [] [] |