Stream: t-compiler/wg-polonius

Topic: compiler-team WG description


lqd (Mar 08 2019 at 22:23, on Zulip):

@nikomatsakis thanks for opening the PR :) (I could have done it !) I just mentioned the "Notes.md" on GH, and do we also want to link the minutes ? If so, we can merge yours, and then I can do another PR for this and fixing the other couple mistakes I made in the minutes

nikomatsakis (Mar 08 2019 at 22:27, on Zulip):

@lqd ok I was a bit hasty to merge

nikomatsakis (Mar 08 2019 at 22:27, on Zulip):

linking the minutes seems good, perhaps just to the directory

nikomatsakis (Mar 08 2019 at 22:27, on Zulip):

but also, do you think you could open a PR adding it to the "big table"?

nikomatsakis (Mar 08 2019 at 22:27, on Zulip):

I've got to run

nikomatsakis (Mar 08 2019 at 22:27, on Zulip):

(I realized I forgot that)

lqd (Mar 08 2019 at 22:28, on Zulip):

yeah I'll do both

nikomatsakis (Mar 08 2019 at 22:28, on Zulip):

re: NOTES, I didn't put it because I figured it'd be empty, and I'm not convinced I like the NOTES.md file anyway

nikomatsakis (Mar 08 2019 at 22:28, on Zulip):

but I'm ok with a placeholder too

lqd (Mar 08 2019 at 22:28, on Zulip):

I can link to the minutes dir so that it doesn't 404

lqd (Mar 08 2019 at 23:25, on Zulip):

@nikomatsakis here it is :)

Last update: Nov 15 2019 at 20:10UTC