forked from idris-lang/Idris-dev
-
Notifications
You must be signed in to change notification settings - Fork 0
Editors
JP Smith edited this page May 1, 2014
·
3 revisions
Editor support generally consists of things like syntax highlighting, indentation-awareness, checkers, and at the most advanced, type-directed interactive editing assistance.
- Emacs mode: https://github.com/idris-hackers/idris-mode
- Vim mode: https://github.com/idris-hackers/idris-vim
- Unicode symbols in vim: https://github.com/japesinator/vim-IdrisConceal
- Sublime: https://github.com/laughedelic/sublime-idris
- Atom: https://github.com/fangel/atom-language-idris
New Foreign Function Interface
Tool Support
Community
- Mini Projects, for those interested in contributing
- Libraries, available elsewhere
- Idris Developer Meetings
- Tutorial: Type Providers and Foreign Functions
- The Zen of Idris
- Profiling
Feature proposals ("dragon eggs")