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/
Linen is a search-engine friendly community platform. We offer integrations with existing Slack/Discord communities and make those conversations Google-searchable.
