Teaching my girlfriend her first programming language. Idris or Haskell? And why?
-
-
@a_cowley@SusanPotter@podmostom I don't really know a good way to fix this. Waiting and hoping has occasionally been effective though :) -
@edwinbrady@a_cowley@podmostom over time this will be less of an issue. Haskell ecosystem had the same complaint not long ago. :) - 3 more replies
New conversation -
-
-
@edwinbrady@a_cowley@SusanPotter@podmostom as one who wants to help, low hanging fruit is great. Idris issue tracker does well, but more!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.