GitHub repository: tricktron/frege-vscode
Primary language: TypeScript
Created: 2021-07-14T14:10:26Z
Description: VSCode LSP Client for Frege