;; This will be overwritten if the user customises the agda2-include-dirs
;; variable in his/her own session. But that is probably the intended behaviour
;; anyway.

(setq agda2-include-dirs '("." "/usr/share/agda-stdlib"))
