If you want to experiment with Agda without installing it, you can do so directly in your browser: https://agdapad.quasicoherent.io/