/app-emacs/
../
idris-mode
prop-menu