Episode 6 is out! Type driven Development with @edwinbrady #idris http://corecursive.com/006-type-driven-development-and-idris-with-edwin-brady?tdest_id=633636 … …
Pondering this further, I think it's partly because the examples rely on dependent pattern matching, and partly because that's what the tools make easy to do. Going to take a look at your book now for some alternative perspectives on what else we should make easy...
-
-
If you'd like a coupon for the book, DM me. The book is perhaps too obsessed with avoiding cases, starting at chapter 5. Chapter 26 is were I probably go completely off the rails.pic.twitter.com/179IihRC9M
-
Thanks, although I already have it :). Happy to support this effort - different perspectives are really useful after all.
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.