From dd90507d20be74d324da5d4b34e1a2b24452081a Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Fri, 14 Jun 2013 19:12:49 +0900 Subject: [PATCH] add agda-mode-init.el from ghc-Agda --- agda-mode-init.el | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 agda-mode-init.el 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")