So when are we going to start seeing some good intro to Idris books?
@jbetzend @puffnfresh @rickasaurus I have no idea if CUFP tutorials are typically videoed...
-
-
@edwinbrady @jbetzend@puffnfresh I don't think they usually are, I was in the haskell ones last year and they weren't. -
@rickasaurus@edwinbrady @jbetzend@puffnfresh it seems quite weird, but I have had it with video-less post-event discussions. - 7 more replies
New conversation -
-
-
@edwinbrady @jbetzend@puffnfresh You could have someone bring a camcorder though :) -
@rickasaurus@edwinbrady@puffnfresh Pretty please? o(ʘ‿ʘ)o
End of conversation
New conversation -
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.