Idris mode for Emacs