@d_christiansen We won't get there if we don't encourage people to try it though! *scribbles merrily away* @paultypes @raichoo
-
-
Replying to @edwinbrady
@edwinbrady @PaulTypes@raichoo yes, the time for warning them is over!1 reply 0 retweets 0 likes -
Replying to @d_christiansen
@d_christiansen I'd still give a light warning (and a "please don't sue me" :)) but encourage nevertheless…@paultypes@raichoo2 replies 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady @PaulTypes@raichoo Just be honest about the state of it and our resources for providing tech support. Then they can decide.1 reply 0 retweets 0 likes -
Replying to @d_christiansen
@d_christiansen @paultypes@raichoo That's what I've tried to get across here http://docs.idris-lang.org/en/latest/faq/faq.html#is-idris-production-ready … though maybe it's not clear enough1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady @PaulTypes@raichoo it kinda misses the sense of joy and wonder that results from dependent types but is otherwise fine
1 reply 0 retweets 0 likes -
Replying to @d_christiansen
@d_christiansen Well. The other p-word is welcome :). (Seriously, I think it could be much better at getting the point across.)1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady I don't know what the other one is...1 reply 0 retweets 0 likes -
-
Replying to @edwinbrady
@edwinbrady yes that's certainly always welcome but hopefully not in the dismissive sense.1 reply 0 retweets 0 likes
@d_christiansen In this case, I just couldn't resist noting the initial letter, which clearly made no sense ;). Oh well.
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.