emacs-agda-mode

Wrapper packages that liberates init.el from agda-mode locate magic. Simply add this to user profile or systemPackages and do (require 'agda2) in init.el.