Emacs (from https://emacsformacosx.com/) and Agda (via homebrew) both install gracefully. However when launching Emacs after running agda-mode setup I receive t
jtable
actian
histogram
getserversideprops
sharepoint-userprofile
flutter-bottomnavigation
maven-failsafe-plugin
in-subquery
google-cloud-data-transfer
boost-iterators
password-protection
plotmath
formencode
ps4
refreshable
shinymodules
react-native-jsi
probe
getseq
recompile
digital-analog-converter
r-highcharter
x-robots-tag
salt-cloud
deferred-execution
tripwire
qlocalsocket
apple-pencil
glm
uiculture
