search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902 stars 58 forks source link

Add System.Clock to fetch current time for various clock types. #358

Closed rgrover closed 4 years ago

rgrover commented 4 years ago

Fetches current-time in multiple formats and allows back-ends to offer a subset of the clocks.

edwinb commented 4 years ago

Thanks, I've been wanting something like this. At some point we'll need to think about how to convert the foreign calls to C, but probably not for a while.