Hooray, I made it to Gothenburg. I'm slightly surprised.
-
-
great! Thanks a lot! Do you have any idea where the location will be posted?
-
I'm told it'll be in 3364. It'll be about total functional programming and concurrency.
End of conversation
New conversation -
-
-
Type-driven Development of Communicating Systems in
#Idris. Type-driven development mantra: "Type, Define, Refine".@ChalmersICTpic.twitter.com/cJ4PEZw38l
-
An earlier version of the TDD talk is on Youtube https://www.youtube.com/watch?v=IQO9N0Y8tcM … with slides https://eb.host.cs.st-andrews.ac.uk/talks/idris-conc.pdf …
#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.