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 all2 on Saturday May 25, 2019 @11:26PM (#20012899)
This is fascinating to me. Do you have demos in a public place so I can take a look?
[ Parent | on HN ]

There are no comments on this comment yet.