emacs: добавлены настройки для agda

.emacs

@@ -3,6 +3,7 @@
   ;; If you edit it by hand, you could mess it up, so be careful.
   ;; Your init file should contain only one such instance.
   ;; If there is more than one, they won't work right.
+ '(agda2-include-dirs (quote ("/home/art/Build/agda-lib/lib-0.7/src" ".")))
  '(blink-cursor-mode nil)
  '(calendar-week-start-day 1)
  '(column-number-mode t)
@@ -24,8 +25,16 @@
   ;; If you edit it by hand, you could mess it up, so be careful.
   ;; Your init file should contain only one such instance.
   ;; If there is more than one, they won't work right.
- )
+ '(agda2-highlight-datatype-face ((t (:foreground "light blue"))))
+ '(agda2-highlight-function-face ((t (:foreground "light blue"))))
+ '(agda2-highlight-postulate-face ((t (:foreground "light blue"))))
+ '(agda2-highlight-primitive-face ((t (:foreground "light blue"))))
+ '(agda2-highlight-primitive-type-face ((t (:foreground "light blue"))))
+ '(agda2-highlight-record-face ((t (:foreground "light blue")))))
 
 (load-file "~/.emacs.d/init.el")
 (put 'upcase-region 'disabled nil)
 (put 'downcase-region 'disabled nil)
+
+(load-file (let ((coding-system-for-read 'utf-8))
+                (shell-command-to-string "agda-mode locate")))