Emacs (from https://emacsformacosx.com/) and Agda (via homebrew) both install gracefully. However when launching Emacs after running agda-mode setup I receive t
firebird-2.0
liquibase-hibernate
jpanel
bottomnavigationview
android-print-manager
micronaut-data
number-systems
django-hosts
defaultmodelbinder
class-expression
node-ftp
nim-game
conversational-design
numerical-analysis
future-warning
sonic-pi
r-pacs
second-level-cache
rnetlogo
git-gui
ember-power-select
opengts
git-amend
react-16
windowinsets
httpretty
magento-1.8
continuous-delivery
scala-2.7
react-native-safe-area-view
