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?
-
-
Replying to @edwinbrady
@edwinbrady but you can tell them to come to#katsconf :D http://bit.ly/1JeekfB1 reply 1 retweet 1 like -
Replying to @silverSpoon
... is category theory being discussed there?
#wrongCat@silverSpoon@edwinbrady2 replies 0 retweets 0 likes
Replying to @geophf
@geophf In a sense, I suppose so… @silverspoon
12:15 PM - 11 Jun 2015
0 replies
0 retweets
0 likes
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.