Stream: wg-traits

Topic: hello


Welcome Bot (Oct 05 2018 at 16:14, on Zulip):

Welcome to #wg-traits.

Description: Working group focused on the trait checker, with an emphasis on chalk integration

nikomatsakis (Oct 05 2018 at 16:18, on Zulip):

cc @scalexm =)

nikomatsakis (Oct 05 2018 at 16:18, on Zulip):

cc @Tyler Mandry

nikomatsakis (Oct 05 2018 at 16:18, on Zulip):

:wave:

tmandry (Oct 05 2018 at 16:19, on Zulip):

Hey

scalexm (Oct 05 2018 at 16:19, on Zulip):

:wave:🏻

blitzerr (Jun 05 2020 at 14:04, on Zulip):

Hello guys :wave:

Jack Huey (Jun 05 2020 at 16:54, on Zulip):

Hello @blitzerr!

blitzerr (Jun 05 2020 at 17:05, on Zulip):

Thanks guys !

I would like to learn about the internals of the rust trait system and make myself useful in the process. @nikomatsakis suggested that this is where I start.

Which sub-stream would be a place where I can ask stupid questions as I read through the chalk-book ?

detrumi (Jun 05 2020 at 17:27, on Zulip):

you can create a topic named "stupid questions", if you like :smirk:

detrumi (Jun 05 2020 at 17:28, on Zulip):

but really, just create a new topic or use this one, doesn't matter too much

Last update: Jun 07 2020 at 09:00UTC