@milessabin @edwinbrady I suppose you guys did a 'slideless' talk that's why there is only links here: https://github.com/strangeloop/StrangeLoop2013/blob/master/slides/sessions/SabinBrady-ScalaVsIdris.md … ?
@aloiscochard Oh, there were slides, but not many. I will do something about that. /cc @milessabin
-
-
@edwinbrady cool ty! anyway I can wait for the recording if easier :-) /cc@milessabinThanks. 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.