I meant to write a type checker but it seems I've accidentally written a proof assistant instead. Suppose it's more or less the same thing.
2:45 PM - 28 Sep 2011
2 replies
5 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.