diff --git a/agda-mode-init.el b/agda-mode-init.el new file mode 100644 index 0000000..799fff9 --- /dev/null +++ b/agda-mode-init.el @@ -0,0 +1,6 @@ +;;; Set up Haskell mode for Emacs. +;;; +;;; This file is automatically loaded by emacs's site-start.el +;;; when you start a new emacs session. + +(load "agda2")