Found 1 bookmarks
Custom sorting
“Defining an addition and multiplication doesn’t make the thing a Ring—there are axioms that need to be satisfied. Protocols are not just bags of syntax.”
“Defining an addition and multiplication doesn’t make the thing a Ring—there are axioms that need to be satisfied. Protocols are not just bags of syntax.”
Defining an addition and multiplication doesn’t make the thing a Ring—there are axioms that need to be satisfied. Protocols are not just bags of syntax. https://t.co/pLdUxdnxR3— 🎃 Spooky ABI Stability 🎃 (@stephentyrone) March 5, 2019
·twitter.com·
“Defining an addition and multiplication doesn’t make the thing a Ring—there are axioms that need to be satisfied. Protocols are not just bags of syntax.”