Mercurial > urweb

comparison lib/basis.urs @ 410:c5a3d223f157

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sql demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 18:44:52 -0400
parents 345fcf91c806
children e0e9e9eca1cb
comparison
equal deleted inserted replaced
409:81d9f42bb641 410:c5a3d223f157
337 val font : bodyTag [Size = int, Face = string] 337 val font : bodyTag [Size = int, Face = string]
338 338
339 val h1 : bodyTag [] 339 val h1 : bodyTag []
340 val li : bodyTag [] 340 val li : bodyTag []
341 341
342 val hr : bodyTag []
343
342 val a : bodyTag [Link = transaction page] 344 val a : bodyTag [Link = transaction page]
343 345
344 val form : ctx ::: {Unit} -> bind ::: {Type} 346 val form : ctx ::: {Unit} -> bind ::: {Type}
345 -> fn [[Body] ~ ctx] => 347 -> fn [[Body] ~ ctx] =>
346 xml form [] bind 348 xml form [] bind