GitHub repository: tricktron/frege-lsp-server
Primary language: Java
Created: 2021-07-13T13:48:36Z
Description: Frege Language Server Using the Language Server Protocol