愚者 RSS 网站介绍

我写下这些笔记的目的, 主要是为了遗忘.

编程语言的邀请: 程序集	SMathML
Brzozowski导数	Hoffman & Kunze
程序设计的邀请	指称语义学讲义翻译
Curry-Howard同构讲义	The Little Typer翻译
P423笔记	The Zipper翻译
一些程序	Proofs and Types第一章翻译
EoPL3笔记	一些没用的笔记
书籍推荐	有趣的链接
胡言乱语	友情链接
书评	范畴论笔记
(瞎写的)游戏编程