To be clear, I don't think it's their main business. I think just under one client uses this service at the moment. @kosmikus
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Does this mean Idris is production-ready now?
-
my guess is that the result of the consulting would be "don't do that" but I think it still counts.
End of conversation
New conversation -
-
-
This Tweet is unavailable.
-
it's not their main business. I think they have just under one customer interested at the moment.
End of conversation
-
-
-
Or: "Idris: Types you can depend on!"
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
love it!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
The t-shirt should say "Really Well-Typed"!
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.