Lean 1 (2013) Leo and Soonho Kong • Almost useless • Brave (crazy?) users in 2014: Jeremy Avigad, Cody Roux and Floris van Doorn • Lean 2 (2015) Leo and Soonho Kong • First official release •

and brings higher quality and more loyal customers. We have offices in Beijing, Shanghai, Hong Kong and Paris, providing international working environments with employees from all over the world.

global Python community in Asia ● Bangladesh ● Cambodia (សីល >>> សមាធិ >>> បញ្ញា) ● China ● Hong Kong ● India ● Indonesia ● Iran ● Japan ● Pakistan ● Korea ● Malaysia ● Nepal ● Singapore ● Sri Lanka

监控 • moa-api, moa-frontend, moa-h5 (未能⽤用) • 使⽤用 Redis 缓存，Rabbitmq，senaca 作为 RPC 正在建设的 • 使⽤用 kong 作为 API gateway • consul 做服务发现和配置 • 上 elk 作为⽇日志分析处理 • 使⽤用 docker compose 作为本地开发环境 • 线上 docker

Lean 2 Quick Reference Jeremy Avigad, Leonardo de Moura, Soonho Kong Version d0dd6d0, updated at 2017-01-30 19:53:44 -0500 Quick Reference Note that this quick reference guide describes Lean 2 only

reference however) 136Data structures Singly Linked List (If time allows) 137 TT the clock from Diddy Kong Racing N64So Because Pointers point to other pointers 138 ● We can build some cool data ‘linked’

dependent input items in an input group: country2city = { 'China': ['Beijing', 'Shanghai', 'Hong Kong'], 'USA': ['New York', 'Los Angeles', 'San Francisco'], } countries = list(country2city.keys()) location

dependent input items in an input group: country2city = { 'China': ['Beijing', 'Shanghai', 'Hong Kong'], 'USA': ['New York', 'Los Angeles', 'San Francisco'], } countries = list(country2city.keys()) location

dependent input items in an input group: country2city = { 'China': ['Beijing', 'Shanghai', 'Hong Kong'], 'USA': ['New York', 'Los Angeles', 'San Francisco'], } countries = list(country2city.keys()) location

dependent input items in an input group: country2city = { 'China': ['Beijing', 'Shanghai', 'Hong Kong'], 'USA': ['New York', 'Los Angeles', 'San Francisco'], } countries = list(country2city.keys()) location