5 ms·

What would be really great if Alloy (or any spec language) allowed for code generation (even if inefficient code).