Skip to content

Language Server for the RAISE Specification Language

License

Notifications You must be signed in to change notification settings

JakuJ/rsl-language-server

Repository files navigation

RSL Language Server

GitHub CI

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