view datebox.urs @ 2:33c83ae7c9af

Start of datebox: calendarizing current month correctly
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Feb 2011 15:51:42 -0500
parents
children 8cab48efaff2
line wrap: on
line source
type t

val create : transaction t
val render : t -> xbody
val value : t -> signal time

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