.@edwinbrady Congratulations! Nice Christmas Present :)
-
-
-
@khstandrews thanks! Indeed it is nice timing :)
End of conversation
New conversation -
-
-
@edwinbrady verifying typed communicating systems, yet `$ wget -q -O - "http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/N024222/1 …" | grep "session"` .. nothing ;-) Congrats! -
@robstewartUK it's in the actual proposal text though :). Thanks!
End of conversation
New conversation -
-
-
@edwinbrady Cracking! Bloody well done! -
@pigworker@edwinbrady Yes! The world needs more research in dependent types!
End of conversation
New conversation -
-
-
@edwinbrady because you wrote it?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady Congratulations!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady Congratulations!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.