Zulip Chat Archive

Stream: general

Topic: Lean at ICL


Adam Kurkiewicz (Nov 14 2018 at 20:12):

Hey guys, I'm in London tomorrow to apply for a US visa. I should be free after about 16:00. Is the lean club at ICL still going strong? Can I come? What's the address? When do people start showing up?

Adam Kurkiewicz (Nov 14 2018 at 20:12):

@Kevin Buzzard

Kenny Lau (Nov 14 2018 at 20:12):

let's not discuss this in public

Kevin Buzzard (Nov 14 2018 at 20:13):

Do you think we'll be overrun? :-)


Last updated: Dec 20 2023 at 11:08 UTC