Re:Alloy is an open source language and analyzer for softwar...
by hwayne on Saturday May 25, 2019 @07:43PM
(#20012211)
There aren't that many public diagrams, so I whipped up a quick example of spec and diagram here: https://gist.github.com/hwayne/2619df2dd7055a57de96f8769c37f....
[ Parent
| on HN ]
There are no comments on this comment yet.