UTC time scales and leap second support in the Koka programming languagekoka-lang.github.io1 pointfanf27 years ago