Slides from @LambdaWorld here https://eb.host.cs.st-andrews.ac.uk/talks/idris-conc.pdf …https://twitter.com/chiefscientist/status/782160949541212160 …
-
-
I'm right behind 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.

