创新不仅仅是创造新事物;而是让现有的变得更好。
Innovation is not just about creating something new; it's about making what exists better.
判断两个λ表达式是否等价的问题是无法解决的。
你注定成为的唯一的人是你决定成为的人。
I'm not a businessman, I'm a business, man.