view datebox.urs @ 3:8cab48efaff2

Seeking through months with Datebox
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Feb 2011 16:06:31 -0500
parents 33c83ae7c9af
children 377c11586999
line wrap: on
line source
type t

val create : transaction t
val render : t -> xbody
val value : t -> signal {Year : int, Month : int, Day : int}

style calendar
style prev
style this
style next
style weekday
style curday
style otherday