Add app-emacs/idris-mode. An in-development, experimental emacs mode for the research dependently typed idris programming language.