That was fun! I finally made the new Idris 2 implementation work well enough yesterday, and it got to the end of the talk without falling over. Hurrah!https://twitter.com/dhillerstrom/status/1140651215845564416 …
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Can we watch it somewhere?
At @curry_on_conf perhaps :). SPLS isn't routinely recorded and there's no way I'd want something this, er, experimental to be on the internets! But I will do it again when it's more polished...
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.