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!
-
-
btw. Happy to see Idris 2 coming along, maybe I'll break my iron rule of not learning a new language at some point. :)
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.