diff 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 diff
--- a/datebox.urs	Tue Feb 08 15:51:42 2011 -0500
+++ b/datebox.urs	Tue Feb 08 16:06:31 2011 -0500
@@ -2,7 +2,7 @@
 
 val create : transaction t
 val render : t -> xbody
-val value : t -> signal time
+val value : t -> signal {Year : int, Month : int, Day : int}
 
 style calendar
 style prev