"can you run [the program]?" "well why would I need to? It's proved correct!" #icfp
-
-
Replying to @krismicinski
@krismicinski@edwinbrady Who shamefully said that? The only way forward is to out verification bigots that do not engineer software.1 reply 0 retweets 1 like
Replying to @kiniry
@kiniry It's from Ulf Norell's ICFP keynote. It's a running gag with Agda (if a bit of a depressing one) /cc @krismicinski
7:55 AM - 25 Sep 2013
0 replies
0 retweets
1 like
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.