The killer feature of Idris is that it lets you make snide remarks about the inadequacy of Haskell's type system.
@d_christiansen I wondered if @ctford was referring to my tweet last night. Wasn't meant to be snide, though, just a silly joke.
-
-
@edwinbrady@d_christiansen I wasn't referring to a tweet of yours. I didn't mean to imply Idris folks are anything other than friendly.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@ctford You've always got enough eye-twinkle for the humorous nature to be clear - others on the internets, not so muchThanks. 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.