What is the easy way to install agda on Apple Silicon mac? I used to install via homebrew, but homebrew (for native Apple Silicon) tells me I need to build from source, and if I do: brew install --build-from-source agda I am told to build ghc from source, too, which fails. Thanks in advance! -- Kenichi Asai