Frege LSP Server

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