Long standing issues with records, type classes, documentation, universe checking… back to reality soon though, alas! /cc @d_christiansen
-
-
-
@edwinbrady@d_christiansen Glad to hear everyone's having a good time hacking#idris
End of conversation
New conversation -
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.