comparison 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
comparison
equal deleted inserted replaced
2:33c83ae7c9af 3:8cab48efaff2
1 type t 1 type t
2 2
3 val create : transaction t 3 val create : transaction t
4 val render : t -> xbody 4 val render : t -> xbody
5 val value : t -> signal time 5 val value : t -> signal {Year : int, Month : int, Day : int}
6 6
7 style calendar 7 style calendar
8 style prev 8 style prev
9 style this 9 style this
10 style next 10 style next