The readme links to the installation instructions but the link is broken. Note also here - https://agda.readthedocs.io/en/latest/getting-started/a-taste-of-agda.html "Make sure that you installed agda and a compatible version of the standard library" This link is also broken.