Wrap emacs and Agda up together