I've posted my latest bike shed blueprint. I expect there'll be lots of opinions. https://groups.google.com/d/msg/idris-lang/i4AIk8_apGI/OASKehD9EAAJ …
-
-
-
@edwinbrady Can it be green instead of blue? - 2 more replies
New conversation -
-
-
@edwinbrady it's not late until the book is out -
@_bravit It's the book that's making me want this change :) - 2 more replies
New conversation -
-
-
This Tweet is unavailable.
-
@lambdagrrl hmm, that's the first negative response ;) - 2 more replies
-
-
-
@edwinbrady Go for it! I don't think any Idris users would be honestly opposed to making an incompatible change that improves things. -
@djspiewak to be honest, I'm going to do it anyway. I'm just trying to find out how much it'll irritate people first :) [So far, "not much"] - 1 more reply
New conversation -
-
-
This Tweet is unavailable.
New conversation
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.