search

JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.
https://jetbrains.github.io/MPS-extensions/
Apache License 2.0
80 stars 47 forks source link

Minor cleanups and improvements #753

Closed sergej-koscejev closed 5 months ago

sergej-koscejev commented 5 months ago

I found these issues while preparing mps-qa linters for the project and I want to fix them before the linters are introduced, to make smaller changes.