[Agda] Online Agda meeting?

Nils Anders Danielsson nad at cse.gu.se
Fri Apr 17 15:29:11 CEST 2020


On 2020-04-16 18:29, Philippe de Rochambeau wrote:
> If you accept Agda newbies who aren’t CS PhDs, I’d be interested :-)

You and other newbies are welcome.

-- 
/NAD


More information about the Agda mailing list