启用applicative logic

纠结了很久我还是决定启用 #applicative logic# 这个宏大叙事的名字。这个名字对于今天的我来说肯定是力不能逮的，但希望有一天能逮。

发布于上海