JakuJ / rsl-language-server

Language Server for the RAISE Specification Language

RSL Language Server

Language server for the RAISE Specification Language. Used by the VS Code extension.

Download the newest version from the releases page and put it in your PATH.

The server requires the rsltc binary to be in your PATH.

Manual installation

1. Make sure you have stack installed (get it here)
2. Run stack install in the main directory
3. Make sure the directory to which stack copied the rsl-language-server binary is in your PATH