I should make it clear that I'd expect this to be a few days rather than an evening, by the way! We've done these before, and they've been really productive, but it's been a while.https://twitter.com/edwinbrady/status/1155960335469146112 …
Depends who comes... I haven't planned anything at all yet, just trying to see what interest there is. The Idris 2 internals are mostly not very much like Idris 1 at all.
-
-
Consider me interested if it isn't necessary to be Conor McBride to get past the first day then :-) I live in Edinburgh so it's a hop away.
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.