/app-emacs/

• ../
• envrc
• idris-mode
• inheritenv
• prop-menu