Basic datetime library.

1 files changed, 12 insertions, 0 deletions

diff --git a/lib/ur/datetime.urs b/lib/ur/datetime.urs
new file mode 100644
index 00000000..9d99b9e3
--- /dev/null
+++ b/lib/ur/datetime.urs
@@ -0,0 +1,12 @@
+type datetime = { Year : int,
+                  Month : int,
+                  Day : int,
+                  Hour : int,
+                  Minute : int,
+                  Second : int
+                }
+
+val toTime : datetime -> time
+val fromTime : time -> datetime
+val datetimef : string -> datetime -> string
+val now : transaction datetime