News for hackers. Stuff that matters.

A comment on Alloy is an open source language and analyzer for software modeling. Parent comment

Re:Alloy is an open source language and analyzer for softwar... by jplane on Sunday May 26, 2019 @01:54PM (#20016313)
Is the "little tutorial" available somewhere? I'd be interested in working through it.
[ Parent | on HN ]

There are no comments on this comment yet.