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:🏻

Last update: Nov 12 2019 at 15:30UTC