But isn’t Idris2 coming out (academically) soon?
-
-
-
It still works, with minor (documented) changes
End of conversation
New conversation -
-
-
I bought my already!
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.