add rounding

This commit is contained in:
2023-03-10 21:39:58 +00:00
parent fe05d818de
commit 7e10423b54
11 changed files with 161 additions and 39 deletions

View File

@@ -1,7 +1 @@
let t = thread(f()=time.snooze(1))
term.log("start")
t.start()
term.log('started')
let val = t.join()
term.log('joined', val)
range(1e10)