I see via twitter that at least four people are now going to http://www.thestrangeloop.com/2015/idris-practical-software-verification-with-dependent-types.html … - anyone else want to join the fun?
@geophf She's in Ireland, so 'whiskey' is no doubt fine :) #pedantscorner @silverspoon
-
-
Ooh! Is she wearing a ... pause, for effect ...
#pendant?@edwinbrady@silverSpoonThanks. 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.