This is a great and well-regarded ressource! If you want to experiment with Agda without installing it, you can do so directly in your browser: https://agdapad

This is a great and well-regarded ressource! If you want to experiment with Agda without installing it, you can do so directly in your browser: https://agdapad.quasicoherent.io/ https://agdapad.quasicoherent.io/