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 … …
-
-
I'm finding explaining the differences between Elm and PureScript really challenging. I erred in assuming that Elm was a mostly-proper subset of Haskell. There are many ancient assumptions/habits that are hard to explain to people who followed a nontraditional path.
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.