.@christopherdone Persuasive arguments could change my mind, of course. Patches are among the most persuasive arguments for a feature change
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@christopherdone my point is more that I am not going to waste time bikeshedding. Some decisions are matters of personal taste.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@techtangents There is at least a start on that in the FAQ. http://idris-lang.org/documentation/faq …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.