Still reasonably confident that Idris 2 is going to be quite a bit faster than Idris 1...pic.twitter.com/XDb4NVUTv3
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Do you/we know how to know how to write a decent runtime system? (sincere question!) Part of the answer: By writing Idris 2, right? You/we have the feeling that dependent + QTT will be able to be collapsed into efficiency, right?
I reckon using the OCaml runtime would be very effective. Chez Scheme also does a much better job than Idris does.
Can you not make use of multi cores? Type check in parallel?
Not yet, but one day...https://twitter.com/edwinbrady/status/1223647822173671424?s=19 …
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.