@edwinbrady is such a PRO speaker!
"Type-driven Development of Communicating Systems in Idris" is great intro to TDDhttps://goo.gl/qurwVg
-
-
two questions: 1. who coined the term "fuel" 2. firstn function (in video 19:15) is not total right?
-
1. I believe that was
@pigworker. 2. It is - haven’t looked at video, but it’s because the ’n’ is decreasing so it terminates. - 4 more replies
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.