[Agda] installing agda

Nicolai Kraus nicolai.kraus at gmail.com
Fri Jan 29 23:50:56 CET 2021


On 29/01/2021 22:30, Ingo Blechschmidt wrote:
>      https://agdapad.quasicoherent.io/.

Wow, this is very nice! Now I know where to send newcomers who want to 
have a try. :)
Nicolai


More information about the Agda mailing list