I shouldn't have looked at this comment thread should I? http://www.reddit.com/r/programming/comments/1x2nru/idris_general_purpose_programming_with_dependent/cf7nlb6 …
@andyarvanitis I just take it as further evidence that you can't please everyone (as if that were needed...)
-
-
@edwinbrady True, though those are typically attacking technical details/decisions, rather than the stuff this guy(?) is ranting about.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.