rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add agda-mode-init.el from ghc-Agda

This commit is contained in:
Jens Petersen 2013-06-14 19:12:49 +09:00
parent c05cc5b7d3
commit dd90507d20
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
agda-mode-init.el Normal file
View File

@ -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")