anka-213/gf-lsp

A Language Server for Grammatical framework, providing errors and warnings and go-to-definition

语言：Haskell · GitHub 星标：6 · Fork：1

话题：grammatical-framework · language-server

在 GitHub 上查看原仓库