Mercurial > urweb
comparison lib/basis.lig @ 148:15e8b9775539
gform in proper order
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 22 Jul 2008 19:12:25 -0400 |
parents | 6f9e224692ec |
children | 67ab26888839 |
comparison
equal
deleted
inserted
replaced
147:eb16f2aadbe9 | 148:15e8b9775539 |
---|---|
22 -> use1 ::: {Type} -> bind1 ::: {Type} -> bind2 ::: {Type} | 22 -> use1 ::: {Type} -> bind1 ::: {Type} -> bind2 ::: {Type} |
23 -> use1 ~ bind1 -> bind1 ~ bind2 | 23 -> use1 ~ bind1 -> bind1 ~ bind2 |
24 -> xml ctx use1 bind1 | 24 -> xml ctx use1 bind1 |
25 -> xml ctx (use1 ++ bind1) bind2 | 25 -> xml ctx (use1 ++ bind1) bind2 |
26 -> xml ctx use1 (bind1 ++ bind2) | 26 -> xml ctx use1 (bind1 ++ bind2) |
27 | 27 val useMore : ctx ::: {Unit} -> use1 ::: {Type} -> use2 ::: {Type} -> bind ::: {Type} |
28 -> use1 ~ use2 | |
29 -> xml ctx use1 bind | |
30 -> xml ctx (use1 ++ use2) bind | |
28 | 31 |
29 con xhtml = xml [Html] | 32 con xhtml = xml [Html] |
30 con page = xhtml [] [] | 33 con page = xhtml [] [] |
31 | 34 |
32 con html = [Html] | 35 con html = [Html] |