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!
Some day I'm going to look at clang and see if I can work out what on earth it's doing in all those lines of code... to be fair, I let something else do the work of code generation, but that something else bootstraps in about a minute!
-
-
Not to mention, the fact that idris probably doesn't take up 40GB of diskspace... ;)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.