Stream: wg-traits

Topic: specialization sync

Sunjay Varma (Apr 16 2019 at 03:11, on Zulip):

@nikomatsakis What did I miss? Do we need to sync?

nikomatsakis (Apr 16 2019 at 12:05, on Zulip):

Not quite yet, but we will soon hopefully ;)

Sunjay Varma (Apr 16 2019 at 16:32, on Zulip):

Ok. I'm going to start on specialization stuff this Friday + Weekend :)

Last update: Jun 07 2020 at 09:40UTC