agda/agda-language-server

Language Server for Agda

语言：Haskell · GitHub 星标：130 · Fork：22

话题：agda · agda-mode · language-server-protocol

在 GitHub 上查看原仓库