sublime-idris:用于 Idris 语言的 Sublime Text 插件。 转移到@idris-hackers

preview
共8个文件
yaml-tmlanguage:1个
sublime-commands:1个
tmlanguage:1个
需积分: 5 0 下载量 119 浏览量 2021-06-14 17:24:55 上传 评论 收藏 22KB ZIP 举报
MachineryLy
  • 粉丝: 33
  • 资源: 4611

相关推荐