.emacs for agda (crypto-agda include dirs)

.emacs

(setq np-home (concat (getenv "HOME") "/"))
(setq agda-pkg (concat np-home ".agda-pkg/"))
(eval-after-load 'agda2
  '(progn
    (set-default 'agda2-include-dirs
       (list
        (concat agda-pkg "github/agda/agda-stdlib/src")
        (concat agda-pkg "github/crypto-agda/agda-nplib/lib")
        (concat agda-pkg "github/crypto-agda/explore/lib")
        (concat agda-pkg "github/crypto-agda/protocols")
        (concat agda-pkg "github/crypto-agda/crypto-agda")
        (concat agda-pkg "github/crypto-agda/agda-libjs/lib")
        (concat agda-pkg "github/np/agda-parametricity/lib")
        (concat agda-pkg "github/VictorCMiraldo/agda-rw")
        "."))))
(custom-set-faces
 ;; custom-set-faces was added by Custom.
 ;; 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.
 '(default ((t (:family "Bitstream Vera Sans Mono" :foundry "bitstream" :slant normal :weight bold :height 98 :width normal))))
 '(agda2-highlight-bound-variable-face ((t (:foreground "MediumPurple1"))))
 '(agda2-highlight-error-face ((t (:background "red" :foreground "black"))))
 '(agda2-highlight-field-face ((t (:foreground "green4"))))
 '(agda2-highlight-function-face ((t (:foreground "green4"))))
 '(agda2-highlight-inductive-constructor-face ((t (:foreground "firebrick"))))
 '(agda2-highlight-keyword-face ((t (:foreground "goldenrod"))))
 '(agda2-highlight-module-face ((t (:foreground "green4"))))
 '(agda2-highlight-number-face ((t (:foreground "firebrick"))))
 '(agda2-highlight-postulate-face ((t (:foreground "green4"))))
 '(agda2-highlight-primitive-face ((t (:foreground "green4"))))
 '(agda2-highlight-primitive-type-face ((t (:foreground "medium blue"))))
 '(agda2-highlight-string-face ((t (:foreground "firebrick")))))
(custom-set-variables
 ;; custom-set-variables was added by Custom.
 ;; 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.
 '(font-use-system-font t))