Stream: wg-traits

Topic: adding context to `TypeFamily`


nikomatsakis (Feb 14 2020 at 19:15, on Zulip):

Hey @Jane Lusby -- are you still looking for a task to take on?

nikomatsakis (Feb 14 2020 at 19:15, on Zulip):

I got one for ya :)

nikomatsakis (Feb 14 2020 at 19:19, on Zulip):

On this topic, should I create a chalk issue or something?

nikomatsakis (Feb 14 2020 at 19:19, on Zulip):

With some mentoring notes?

nikomatsakis (Feb 14 2020 at 19:19, on Zulip):

I guess I will

Jane Lusby (Feb 14 2020 at 19:19, on Zulip):

oh you literally beat me to it, lol

Jack Huey (Feb 14 2020 at 19:19, on Zulip):

That's probably easiest

nikomatsakis (Feb 14 2020 at 19:20, on Zulip):

give me a few minutes

Jane Lusby (Feb 14 2020 at 19:20, on Zulip):

A chalk issue with mentoring notes would be best, yes, ty @nikomatsakis

nikomatsakis (Feb 14 2020 at 19:24, on Zulip):

Ah, this raises an important question :)

Last update: Feb 25 2020 at 04:20UTC