愚者 RSS 网站介绍

近来我删去了一些内容, 主要是为了重写.

编程语言的邀请: 程序集	SMathML
Brzozowski导数	Hoffman & Kunze
程序设计的邀请	指称语义学讲义翻译
Curry-Howard同构讲义	The Little Typer翻译
P423笔记	EoPL3笔记
计算机科学考古	一些没用的笔记
书籍推荐	有趣的链接
胡言乱语	友情链接