[Agda] No Agda AIM meeting any more?

stvienna wiener stvienna at gmail.com
Wed Oct 18 02:11:28 CEST 2017


Hi all,

I guess there is not Agda AIM meeting planned in Autumn? Usually a AIM
meeting takes place in September or October. I checked the mailing
list and also the wiki to be sure.

So is it true?

Best,
Stephan


More information about the Agda mailing list