Allen Chou
says to
YSITD
其實 Lambda Function 跟 Lambda Calculus 根本是兩回事 ==