fwcd / curry-language-server

IDE support for the functional logic language Curry
BSD 3-Clause "New" or "Revised" License
27 stars 2 forks source link

Remove submodule dependency on curry-libs #31

Closed fwcd closed 3 years ago

fwcd commented 3 years ago

Since the language server finds a Curry installation (like PAKCS) itself, there is no need for a submodule dependency on curry-libs anymore.