I should probably stay out of this one, but I expect it will be interesting viewing…https://twitter.com/reddit_haskell/status/640620097401282560 …
@dkubb I'm sorry I missed the discussion - it's certainly nice that it's a trendy topic now!
-
-
@edwinbrady Maybe next year there'll be an idris talk at the icfp. ;)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.