Mercurial > urweb
diff lib/basis.lig @ 152:67ab26888839
textarea
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 24 Jul 2008 10:41:53 -0400 |
parents | 15e8b9775539 |
children | cfe6f9db74aa |
line wrap: on
line diff
--- a/lib/basis.lig Thu Jul 24 10:26:18 2008 -0400 +++ b/lib/basis.lig Thu Jul 24 10:41:53 2008 -0400 @@ -66,6 +66,7 @@ -> nm :: Name -> unit -> tag attrs ([LForm] ++ ctx) [] [] [nm = ty] val textbox : lformTag string [] +val ltextarea : lformTag string [] val submit : ctx ::: {Unit} -> [LForm] ~ ctx -> use ::: {Type} -> unit