因为这是我记得的最后一个物件，因此，它是名字。
学了一些东西，读了一些东西。很多东西没学会，很多东西读不懂，还有更多东西不可能读懂。但是毕竟读了一些东西。
没有了，我认为能记起的也无非就是这么两件了，也许还有第一次尝试计算 catamorphism。希望能再读多一些。至于标题，我不打算读了，再见，plfa！定理证明器需要好好润色一下前端，那些丑陋的 unicode 实在是一眼都不想看了！
另外，我只是一个想上网的傻比，有没有人能教我到底怎么上网？
五月二十七日