Replying to @oxnrtr
@oxnrtr @Symbo1ics coq and haskell both do it better than scala. GHC has implicits too; rarely used. Try again, sorry.
6:31 PM - 21 Sep 2012
0 replies
0 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.