Re:A High-Level View of TLA+
by Pet_Ant on Tuesday June 03, 2025 @01:33PM
(#44172481)
I've thought that one thing that could help was annotations on your code that index into the spec. That way you at least have a one way binding. If-you-are-changing-this-you-should-at-least-review-that kind-of-thing.
[ Parent
| on HN ]
There are no comments on this comment yet.