Zulip Chat Archive
Stream: Geographic locality
Topic: Lima, Peru
Fernando Chu (Nov 11 2025 at 11:08):
Anyone in/from Lima, or any province really, doing Lean stuff?
Last updated: Feb 28 2026 at 14:05 UTC
Anyone in/from Lima, or any province really, doing Lean stuff?
Last updated: Feb 28 2026 at 14:05 UTC