Trying to follow this guide: https://plfa.github.io/GettingStarted/
On the part after "Check if the Agda standard library was installed correctly" get this:
