Packages seem to not be recompiled automatically when the version changes #92
Description
In this case, the user needs to clear .curry/language-server manually, which ideally should not be necessary.
{{ message }}
In this case, the user needs to clear .curry/language-server manually, which ideally should not be necessary.