Skip to content

Using new rascal-core with fast typechecking and quickfixes#532

Merged
toinehartman merged 4 commits intomainfrom chore/new-faster-rascal-coreNov 27, 2024