-
-
Replying to @fogus1 reply 0 retweets 0 likes
-
Replying to @edwinbrady
@edwinbrady@mrb_bk It could be, though my grasp of Haskell is tenuous (at best).1 reply 0 retweets 2 likes -
Replying to @fogus
@fogus@edwinbrady At this point I think the "likeness to Haskell" component of Idris helps a lot, and doesn't hurt that I've seen1 reply 0 retweets 1 like
6:24 AM - 16 Apr 2015
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.