Can I have a Turing Award now please? Or does this rule me out for life? https://github.com/edwinb/idris-php … @old_sound & @silverSpoon did pay up front
-
-
@edwinbrady Were I to express my displeasure for that notion, the atmosphere would ignite and the world would burn. That is to say, hell no. -
@mankykitty@edwinbrady yeah but imagine dependently type-checked code you're eval'ing from a database field. Those proofs sound fun. - 1 more reply
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.