Category "agda"

Cannot locate Agda mode binary when running Emacs GUI on OSX

Emacs (from https://emacsformacosx.com/) and Agda (via homebrew) both install gracefully. However when launching Emacs after running agda-mode setup I receive t