mbeddr / language_verification

A collection of tools and technologies for verifying software languages developed using JetBrains' MPS.
Other
1 stars 0 forks source link

Relations in rules don't come from the metamodel #37

Closed levilucio closed 7 years ago

levilucio commented 7 years ago