Emacs (from https://emacsformacosx.com/) and Agda (via homebrew) both install gracefully. However when launching Emacs after running agda-mode setup I receive t
uitextinput
frame-size
homogenous-transformation
hotjar
httptestingcontroller
sicp
fail-fast
koin
gdrive
database-diagram
arcpy
browsermob-proxy
floyd-warshall
cd-rom
spring-dsl
gnome-builder
caching
template-engine
elementary
poison
ftplib
xtend
azure-static-website-hosting
facebook-pixel-helper
directory-tree
textmatebundles
tdd
chatterbot
coda
trusted-execution-environment
