Description
Idris source files can be edited with language-aware behavior for dependently typed programming projects.
This is an Emacs extension, not a separate desktop app. Install it when that editor workflow is needed; behavior depends on the user's Emacs configuration and related packages.