#icfp was great fun - thanks to all the organisers, and see you next year (I hope :)). Homeward bound now...
-
-
@edwinbrady Cheers. Currently debtating removing the following start of a proof: (We use the word ``proof" in its loosest sense.)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.