search

hhu-adam / lean-i18n

i18n library for Lean.
https://reservoir.lean-lang.org/@hhu-adam/i18n
Apache License 2.0
6 stars 0 forks source link

bug: cannot use FFI to get system time #6

Open joneugster opened 5 months ago

joneugster commented 5 months ago

Using FFi to get the system time isn't ideal as it requires Windows users to install c++ first. If there is a more robust version to access the system time, fix getLocalTime.