Mercurial > gui
view datebox.urs @ 4:377c11586999
Fully-functional Datebox
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 08 Feb 2011 16:52:29 -0500 |
parents | 8cab48efaff2 |
children | 4385bc6a0d2d |
line wrap: on
line source
type t type date = {Year : int, Month : int, Day : int} 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