@btbytes I omitted it to avoid skewing votes, but it's in this thread, which is quite interesting https://www.reddit.com/r/programming/comments/3f59f4/dependent_types_in_half_of_d/ …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady reddit does not care about facts -
@bilalshussain I imagine I was being annoying. Probably wouldn't argue with that.
End of conversation
New conversation -
-
-
This Tweet is unavailable.
-
@Geeklawyer sadly, there is more than a grain of truth in that
End of conversation
-
-
-
@edwinbrady Also, found your comment and gave it an upvote. :) -
@seanparsons I was trying to avoid skewing votes so left it out :). I don't think I understand reddit though, and certainly not its voting… - 1 more reply
New conversation -
-
-
@edwinbrady I had much the same with this post and the comments I made on it: https://www.reddit.com/r/haskell/comments/3354sb/wiring_package_for_making_readert_and_friends/ … Should've just said "lens" a lot.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.