Emacs (from https://emacsformacosx.com/) and Agda (via homebrew) both install gracefully. However when launching Emacs after running agda-mode setup I receive t
save-as
latte
in-memory-tables
azure-logic-app-standard
php-node
uninitialized-constant
azure-sdk-js
react-ga
year2038
dgraph
open-basedir
tilde
nearest-neighbor
final
git-fork-client
pykd
uicolor
vertical-text
history.js
image-scanner
rigid-bodies
webpack-plugin
laravel-eloquentmany
typespec
taskcompletionsource
tradestation
file-comparison
doctrine-migrations
scroller
octobercms
