"La memoria es el hilo que teje la historia de los pueblos, sin ella estaríamos condenados a repetir los mismos errores."
我们能留下的最伟大遗产是为后代留下一个更健康的星球。
判断两个λ表达式是否等价的问题是无法解决的。