gistfile1.el

(load-file (let ((coding-system-for-read 'utf-8))
                (shell-command-to-string "agda-mode.exe locate")))
(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.
 '(agda2-include-dirs (quote ("." "C:/Users/dagit/Documents/agda/lib/src"))))
(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 (:inherit nil :stipple nil :background "SystemWindow" :foreground "SystemWindowText" :inverse-video nil :box nil :strike-through nil :overline nil :underline nil :slant normal :weight normal :height 120 :width normal :foundry "outline" :family "DejaVu Sans Mono")))))

(set-language-environment 'utf-8)
(set-terminal-coding-system 'utf-8)
(set-w32-system-coding-system 'utf-8)
(prefer-coding-system 'utf-8)