愚者 RSS 网站介绍

闻道有先后, 术业有专攻, 如是而已.

编程语言的邀请: 程序集	Proofs and Types第一章翻译
一些程序	Brzozowski导数
SMathML	SICM笔记
程序设计的邀请	Linear Algebra (Hoffman & Kunze)
EoPL3笔记	Geometric Algebra (E. Artin) 翻译
Lem编辑器使用笔记	LearningZIL笔记
Lectures on the Curry-Howard Isomorphism翻译	The Ship of Theseus
Miscellaneous Notes	Computation Structures笔记
书籍推荐	混沌空间
友情链接	有趣的链接

编程语言的邀请: 程序集