I didn't plan to spend the evening modifying the Idris parser to not need semicolons. But I did anyway. #bikeshed #structuredprocrastination
5:52 PM - 6 Jan 2012
1 reply
2 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.