Open rfratto opened 1 week ago
While the Alloy syntax is powerful, it lacks some capabilities:
Users are forced to identify workarounds for these features, but a workaround doesn't always exist.
A series of proposals should be introduced to gradually solve these issues.
While the Alloy syntax is powerful, it lacks some capabilities:
Users are forced to identify workarounds for these features, but a workaround doesn't always exist.
A series of proposals should be introduced to gradually solve these issues.