April 1st is often a day to avoid the www. But while hiding you could do worse than to read the SIGBOVIK proceedings: http://sigbovik.org/2015/
-
-
Replying to @edwinbrady
@edwinbrady * "Artisanal Type Theory" * "Bashing Haskell: Reimplementing the Parsec Library Inside the Unix Shell" This is amazing.1 reply 1 retweet 0 likes
Replying to @queertypes
@cppcabrera I'm enjoying Artisanal Type Theory at the moment.
4:11 PM - 31 Mar 2015
0 replies
0 retweets
2 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.