idris2-lsp

Idris2 client for the language server protocol

推荐

不推荐

更多信息

code --install-extension bamboo.idris2-lsp

标签

根据用户添加的标签生成

暂无标签