@edwinbrady @bentnib @sjoerd_visscher The struggle remains that much of your audience will just conclude that they are superior to Apple.
@bentnib @sjoerd_visscher Not in a "if only they'd used dependent types" sort of way, but rather as motivation for why people should care.
-
-
-
@a_cowley@bentnib@sjoerd_visscher And presumably, like me, none of them will have ever actually written a working SSL implementation... - 1 more reply
New conversation -
-
-
@edwinbrady@bentnib Well, if there's any dependently typed language that Apple should switch to, it would be Idris.#bigif -
@sjoerd_visscher@edwinbrady@bentnib Proof, in Idris: FalseElim h
End of conversation
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.