编程语言基础，Agda 版本

因为这是我记得的最后一个物件，因此，它是名字。

学了一些东西，读了一些东西。很多东西没学会，很多东西读不懂，还有更多东西不可能读懂。但是毕竟读了一些东西。

• Midland Graduate School – Denotational Semantics：读完了，很牛逼，学到了很多，可以看作是 haskell wiki book 上同名条目的升级版，终于算是对不动点算子 有了初步理解。
• 萨特《隔离审讯》：下午读的，要我直说吗，不好看。甚至不如萨特本人的生平好看，所以，看起来法国文人私生活都挺混乱的，或者用你喜欢的说法，“开放”。

没有了，我认为能记起的也无非就是这么两件了，也许还有第一次尝试计算 catamorphism。希望能再读多一些。至于标题，我不打算读了，再见，plfa！定理证明器需要好好润色一下前端，那些丑陋的 unicode 实在是一眼都不想看了！

另外，我只是一个想上网的傻比，有没有人能教我到底怎么上网？

五月二十七日