Skip to content

Latest commit

 

History

History
27 lines (14 loc) · 811 Bytes

README.md

File metadata and controls

27 lines (14 loc) · 811 Bytes
Raw

Frege LSP Server

build license

Frege Language Server using the language server protocol. This is the core container of the Frege IDE.

Documentation

Head over to the Frege IDE docs website.

How to use

See frege-vscode.

How to Contribute

  • Install Java, preferably v11 or newer
  • Install Frege gradle plugin
  • git clone https://github.com/tricktron/frege-lsp-server.git
  • Run ./gradlew clean test to execute tests
  • Add more tests and features