The type-checker got a lot faster, especially if you're editing a single file in a larger project. Various bugfixes in: The rename functionality The code actions The type-checker

doi.org/10.5281/zenodo.14763480
Software Analysis and Transformation

Landman, D., Vinju, J., Hartman, T., Jongmans, S.-S., Briend, R., Aarssen, R., … Hills, M. (2025). usethesource/rascal-language-servers: v0.12.1. doi:10.5281/zenodo.14763480