[Announcement] agda/cubical sprint at AIM XXXIII

[mortberg]

I will host a code sprint on agda/cubical at AIM XXIII: https://wiki.portal.chalmers.se/agda/Main/AIMXXXIII

I hope that many contributors to the library can attend so that we can have a productive sprint. Everyone is very welcome to join regardless of prior knowledge of the library. There are lots of things to work on ranging for good first issues for newcomers to advanced research problems for the experts.

Please register following the instructions on the AIMXXXIII page. Hope to see many people there so that we can have a productive sprint!

(I'll now ping everyone with a recent open issue or PR as this will be a good opportunity to finish it up with the help of the maintainers: @felixwellen @aljungstrom @dolio @WorldSEnder @mzeuner @ecavallo @UlrikBuchholtz @marcinjangrzybowski @ayberkt @cmester0 @glguy @jonsterling @jorge-jbs @pnlph @m-yac @ice1000 )

[mortberg]

Closing this now as the sprint is going on. Please join https://agda.zulipchat.com/#narrow/stream/260790-cubical if you want to take part