@edwinbrady your idris demos blow my mind everytime :-)
-
-
-
@theburningmonk thanks :-). Though I cheat by writing most of my programs in advance... - 2 more replies
New conversation -
-
-
@edwinbrady it was indeed ;-) and then many more times when they released v0.14.0 and broke it!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.