[Agda] Agda on Apple Silicon?

[Martin Escardo]

Now just following the cabal installation instructions in the Agda wiki
works for the apple m1 chip. I did this to install the new version of
Agda. M.

On 19/04/2021 05:27, asai at is.ocha.ac.jp wrote:
> Thank you for all the information!  I could install agda (2.6.1.3)
> successfully.  For record, I write what I did (following Martin's
> message):
> 
> softwareupdate --install-rosetta
> arch -x86_64 /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install.sh)"
> arch -x86_64 /usr/local/bin/brew install agda