I am slightly amused that I made a comment on reddit explaining an aspect of how Idris works, and so far it has been voted down.
Replying to @BilalsHussain
@bilalshussain I imagine I was being annoying. Probably wouldn't argue with that.
7:43 AM - 1 Aug 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.