phijor/alster

A proof-of-concept Language Server for the Agda programming language.

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

话题：agda · lsp-server

在 GitHub 上查看原仓库