From b4493432806663ed734ba522069b2fcbbc82ecaa Mon Sep 17 00:00:00 2001
From: Ian Piumarta <piumarta@gmail.com>
Date: Tue, 1 Sep 2020 19:42:02 +0900
Subject: [PATCH] Add millis() to convert microseconds() into milliseconds
 (duh;-)

---
 bootstrap.txt | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/bootstrap.txt b/bootstrap.txt
index 5edf95c..0d151ce 100644
--- a/bootstrap.txt
+++ b/bootstrap.txt
@@ -13,4 +13,8 @@ fun println() {
     apply(print, __arguments__);
     print("\n");
     __arguments__;
-}
\ No newline at end of file
+}
+
+fun millis() {
+    microseconds() / 1000;
+}