laughedelic/sublime-idris

Sublime Text plugin for Idris language. MOVED TO @idris-hackers

语言：Python · GitHub 星标：9 · Fork：2

在 GitHub 上查看原仓库