@raichoo At least you can more easily blame the compiler if it goes wrong :)
-
-
This Tweet is unavailable.
-
-
-
-
@edwinbrady@raichoo which part of "live idris coding" terrifies you most? ;) -
@matthieubulte The thing that terrifies me most is the prospect of Idris deciding to do something it shouldn’t :)@raichoo - 1 more reply
New conversation -
-
-
@edwinbrady@raichoo I have pretty much abandoned the idea of 'live programming', too much to go wrong ;-) -
This Tweet is unavailable.
- 1 more reply
New conversation -
-
-
@edwinbrady just finished watching the talk, Idris just blew my mind... Great job@raichoo! -
This Tweet is unavailable.
New conversation -
-
-
@edwinbrady wanted to watch@raichoo too, but no laptop near... DESPAIR.pic.twitter.com/UyUCgzXxUR
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.