usethesource / usethesource.github.io

Organization website for UseTheSource
1 stars 2 forks source link

promote rascal-vscode to usethesource #10

Closed jurgenvinju closed 3 years ago

jurgenvinju commented 3 years ago

motivation

vote

DavyLandman commented 3 years ago

From swat.engineering side we also plan to support this part of the rascal project and see many use cases for it.

jurgenvinju commented 3 years ago

@PaulKlint @tvdstorm do you see any arguments against the proposal?

jurgenvinju commented 3 years ago

on the (important) TODO list, next to finishing the features:

PaulKlint commented 3 years ago

The new name rascal-language-servers is much better, thanks.

jurgenvinju commented 3 years ago

The project was first moved and then renamed as planned. Thanks!