Made it to Lisbon. Though not before some police boarded our plane at Gatwick and removed a passenger for what the captain called "a chat"...
Thank you :). I’m at a thesis defence in the morning and giving a talk in the afternoon, both at U Lisboa https://ciencias.ulisboa.pt/pt/evento/24-01-2018/prova-de-doutoramento-adding-dependent-types-to-class-based-mutable-objects …
-
-
Oh, I’m glad I found this link too because it means I’ll remember what the talk is about https://ciencias.ulisboa.pt/pt/evento/24-01-2018/type-driven-development-with-idris …
-
Thanks. Enjoy your stay.
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.