Skip to content

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

About

Language Server for the RAISE Specification Language

Topics

Resources

License

Stars

Watchers

Forks

Contributors 2

  •  
  •