. @djspiewak @dibblego some say maths is a branch of programming (dependent types, Curry-Howard etc)
-
-
@dibblego@djspiewak Agree. Are you sure you're not Mr T though? /cc@PLT_Hulk -
@paulcc_two@djspiewak@PLT_Hulk Pretty sure, want proof?
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.