The Agda Team is very pleased to announce the release of Agda 2.6.3. just wanted to let you know that I just updated the "run it directly in the browser without installation" variant of Agda, the Agdapad, to Agda 2.6.3. Enjoy: https://agdapad.quasicoherent.io/