Mumbai, India

Stream: Geographic locality

[Arnav Sabharwal]

Any fellow Lean users in Mumbai? I was considering the prospect of a meetup group to discuss functional programming / math / programming language theory, which I think would be a great learning experience for everyone!

[Divyanshu Ranjan]

Not in mumbai, but if you have plan to visite BLR sometime, do let me know

[Joël Riou]

If some of you visit Chennai, I should be there from mid-July to mid-August!

[Nilesh]

@Arnav Sabharwal There's an all-India Telegram group for FunctionalProgramming where these things get discussed.

• website: https://functionalprogramming.in/
• TG group link: https://t.me/fpncr