Mercurial > urweb
diff lib/ur/basis.urs @ 1786:d794149b3713
<active>
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 21 Jul 2012 13:55:35 -0400 |
parents | ffd7ed3bc0b7 |
children | 69daa6d70299 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sat Jul 21 11:59:41 2012 -0400 +++ b/lib/ur/basis.urs Sat Jul 21 13:55:35 2012 -0400 @@ -767,6 +767,9 @@ val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind +val active : unit + -> tag [Code = transaction xbody] body [] [] [] + val head : unit -> tag [] html head [] [] val title : unit -> tag [] head [] [] [] val link : unit -> tag [Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] []