@nikomatsakis you mentioned briefly about syncing up next week, in passing :slight_smile: . Would you be available sometime between 8 - 11 AM your time on Monday next week. I guess you wanted to sync up for next steps or whatever you had in mind. Unfortunately Mon is the only day I am available.
I'm actually not sure if we need to sync or not, maybe we can try to keep things going just "async" over Zulip...
Or do every 2 weeks?
Depends what yo think
that time on Monday doesn't really work for me
@nikomatsakis Sure, async on zulip works just fine :smiley: