idris-hackers/atom-language-idris

A Idris Mode for Atom.io

语言：TypeScript · GitHub 星标：100 · Fork：23

在 GitHub 上查看原仓库