愚者 RSS 网站介绍

编程语言的邀请: 程序集	SMathML
Brzozowski导数	Hoffman & Kunze
程序设计的邀请	指称语义学讲义翻译
Curry-Howard同构讲义	The Little Typer翻译
P423笔记	The Zipper翻译
一些程序	Proofs and Types第一章翻译
EoPL3笔记	一些没用的笔记
书籍推荐	有趣的链接
胡言乱语	友情链接
范畴论笔记	关于数组语言的随想
摆弄SICP图形语言	The Ship of Theseus
monad的Schemer之见	证明论和逻辑代数笔记
语义学讲义笔记	实用逻辑和自动推理手册
无聊的日记	构造性逻辑笔记
格论笔记