法治不仅仅是一个法律概念,而是一种生活方式。
判断两个λ表达式是否等价的问题是无法解决的。