Oh dear, I looked on /r/programming and learned that 76 seconds is a really long time for a compiler to build itself, and that I should write posts with them in mind... well that's me told!
-
Show this thread
-
Replying to @edwinbrady
D which has a reputation for bootstrapping fast takes at least a minute or two. If Idris is in D territory it's among the fastest in the world.
2 replies 0 retweets 14 likes
Replying to @deech
The whole process is a bit longer, it's about 4 minutes including tests on my machine. But I wouldn't call it fast - there's a lot of low hanging fruit, and a lot of the hard work is passed on to Chez, so it's probably not a fair comparison with D.
3:31 PM - 26 May 2020
0 replies
0 retweets
6 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.