Emacs (from https://emacsformacosx.com/) and Agda (via homebrew) both install gracefully. However when launching Emacs after running agda-mode setup I receive t
for-xml-explicit
gpu-cooperative-groups
robotics
google-cloud-billing
ber
toolbox
minix
readr
.net-4.6.2
hypertalk
docker-app
dmd
udpclient
userscripts
in-subquery
entity-framework-4.1
backbone.js-collections
fiddle
confluent-cli
htmleditorkit
default-arguments
express-ntlm
pdf-extraction
jquery-data
xbind
read-fwf
influxdb-2
exact-online
opaque-types
redux-actions
