3 ms·
Yeah, these look excellent. Am curious if D's invariants can be traced back to Ada/Spark at all (I don't know much about Ada except that it has these sorts of s
by 12_throw_away 1y ago
Yeah, these look excellent. Am curious if D's invariants can be traced back to Ada/Spark at all (I don't know much about Ada except that it has these sorts of safety features).
- johnisgood 1y agoMaybe this might help: https://news.ycombinator.com/item?id=44449835 https://news.ycombinator.com/item?id=44449835