Happy 2017! May all your parentheses be balanced, all your expressions be well-typed, and all your types be sufficiently expressive!
7:40 AM - 1 Jan 2017
0 replies
13 retweets
8 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.
Read my blog!