Hamburg, DE

Stream: Geographic locality

[Mauricio Collares]

Anyone at 38c3? There's a surprising (to me) lack of functional programming assemblies

[Julian Berman]

I'm not but you've got my jealousy, CCC is perpetually on my "want to go and never make it" list. Enjoy it.

[𝚠𝚘𝚓𝚌𝚒𝚎𝚌𝚑 𝚗𝚊𝚠𝚛𝚘𝚌𝚔𝚒]

@Mauricio Collares hello! We could organize an impromptu Lean meeting. There is also an Agda workshop by Ingo Blechschmidt.

[Vlad Tsyrklevich]

I am, I’d attend a lean meetup if there is one. I was also thinking of attending the Agda workshop if I’m not too tired at that hour

[Mauricio Collares]

I came back to the hotel early today, but I'd be happy to meet on day 3!