7 lines
158 B
EmacsLisp
7 lines
158 B
EmacsLisp
|
;;; 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")
|