Troubleshooting

This section collects tips for fixing common installation errors. Skip it if Agda installed fine.

This list is not comprehensive, see the GitHub issue tracker for more known bugs.

Windows invalid byte sequence

If you are installing Agda using Cabal on Windows, depending on your system locale setting, cabal install Agda may fail with an error message:

hGetContents: invalid argument (invalid byte sequence)

If this happens, you can try changing the console code page to UTF-8 using the command:

CHCP 65001

macOS notarization

agda binaries from GitHub releases are not notarised by Apple, so will not run on macOS unless the quarantine attribute is removed, e.g. with xattr -c agda

Cabal issues

If you chose to install Agda with a Haskell build tool like cabal or stack, see the “Troubleshooting Cabal” section in HACKING.md.