Mercurial > urweb
diff lib/basis.lig @ 105:da760c34f5ed
Stringifying attributes
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Jul 2008 15:19:06 -0400 |
parents | b1e5398a7f30 |
children | d101cb1efe55 |
line wrap: on
line diff
--- a/lib/basis.lig Thu Jul 10 15:04:32 2008 -0400 +++ b/lib/basis.lig Thu Jul 10 15:19:06 2008 -0400 @@ -28,3 +28,7 @@ val b : tag [] [Body] [Body] val i : tag [] [Body] [Body] val font : tag [Size = int, Face = string] [Body] [Body] + + +val attrifyInt : int -> string +val attrifyFloat : float -> string