Hacker News new | ask | show | jobs
by hwayne 2667 days ago
Alloy forces you to bound all of your models, so it will always terminate.