This is why I trust these folks to host http://idris-lang.org :)https://twitter.com/Mythic_Beasts/status/1006530398510288896?s=19 …
I don't think their reputation is that bad, no, but they once told me that one of them is a haskell programmer...
-
-
That's plenty suspicious, mind you.
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.