Mercurial > gui
view datebox.urs @ 10:0337f88f2efc
Clock
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 22 Jul 2011 15:40:03 -0400 |
parents | 4385bc6a0d2d |
children | bbdedfde154e |
line wrap: on
line source
type t type date = {Year : int, Month : int, Day : int} val date_ord : ord date val time : date -> time val create : time -> transaction t val render : t -> xbody val value : t -> signal date style calendar style prev style this style next style weekday style curday style otherday style selday