Haskell uses types to tell us off when we get it wrong. In Idris, types are like research assistants. They do work.
@edwinbrady #CodeMesh
@sigfpe @jessitron @shapr can't remember exactly what I said but I see it that way too! No doubt the video will show me up...
-
-
@edwinbrady@sigfpe@shapr This was the part where Edwin showed the Idris vim plugin writing the function based on types.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.