Moving Scallop Discussions to Discord

[Mayur Naik]

Dear all,

As we continue to grow Scallop and make it more usable for a broader community of researchers and practitioners, we have decided to retire this Google Groups mailing list and switch to Discord.  Discord will allow more real-time interaction, better organization of topics, etc.

I invite all of you to join our Discord server via https://discord.gg/W95nMM8e

Best,

-- Mayur

[Luisa Werner]

Hi Mayur, 

I am working with Scallop and I would like to follow the discussion forum. Unfortunately, I don't have access to the discord project. When I click the link, I get: "Invalid Invite. This invite may be expired or you might not have permission to join." Could you help me out with this please? 

Best, 

Luisa! 

[Mayur Naik]

Hi Luisa,

Sorry about that!  Here is the new invite (I've set it to never expire): https://discord.gg/RavzdND229

-- Mayur

[Mahi]

Hi,
I’m unable to join the Discord group—the invite link appears to have expired.
Could you please share a new link or help me join?

-Mahi

[Mahi]

Hi,

I’m a user of Scallop. Could someone please share the Discord invitation link with me?

Thanks in advance.

-Mahi

To unsubscribe from this group and stop receiving emails from it, send an email to scallop-lang...@seas.upenn.edu.

[Jiani Huang]

Hey Mahi,

Sorry about the late reply! We were at NeurIPS conference during the whole last week and will send you the updated link once we arrived back to Philly!

Best,

Jiani

Sent from my iPhone