swr1bm86/vscode-idris
Idris for Visual Studio Code
⭐ 107
⑂ 21
JavaScript
BSD-3-Clause
· 2022-05-13推送
107
Watchers
0
贡献者
0
Commits
0
Releases
28
Open Issues
2022-05-13
最近推送
原文
中文
暂无 README