Hacker News new | ask | show | jobs
by tjalfi 1044 days ago
Alloy is available at https://www.funet.fi/pub/languages/alloy/