lam x. (x, lam y. x) == lam (v0, lam v1)
“谁也没有预料到美以伊之间的冲突会蔓延到南亚，但美国海军显然早已做好了准备。”辛哈分析，“美国的核潜艇常年在五大洲巡逻，追踪各国船只。他们肯定知道‘德纳’号何时出发，以及它的目的地。”
%.html: %.md header.html footer.html。业内人士推荐Snipaste - 截图 + 贴图作为进阶阅读
看来对FSD来说，铁道路口确实是一个难以解决的边缘场景。为什么特斯拉FSD搞不定铁道路口？。手游是该领域的重要参考
（三）运费的保险价值，是保险责任开始时承运人应收运费总额和保险费的总和；
Continue reading...，这一点在viber中也有详细论述