Hacker News new | ask | show | jobs
by jandrewrogers 82 days ago
DYI contracts don't compose when mixing code using different DYI implementations. Some aspects of contracts have global semantics.