1. tensorpudding
  2. dotfiles

Commits

Michael  committed c8775e1

Agda mode

  • Participants
  • Parent commits c6a23dd
  • Branches default

Comments (0)

Files changed (1)

File .emacs.rc

View file
 
 ;; Loading Linum globally
 (when linum-enabled (global-linum-mode 1))
+
+;; Loading Agda mode
+(when agda-enabled
+  (load-file (let ((coding-system-for-read 'utf-8))
+	       (shell-command-to-string "agda-mode locate"))))