Emacs (from https://emacsformacosx.com/) and Agda (via homebrew) both install gracefully. However when launching Emacs after running agda-mode setup I receive t
vue-cli
key-events
resharper-4.5
firebase-hosting
dsharp+
racsignal
osclass
tkinter-label
treasure-data
nsprintoperation
diagnostics
sigv4
dojo.xhrget
office-online-server
jmenuitem
prototype-pattern
wiener-filter
internet-explorer-10
angular12
transliteration
performance
locationlistener
fs
pycel
wpa2-psk
parse-platform
zlib
hyperledger-indy
r-mapview
spring-vault
