一些没用的笔记

摆弄SICP图形语言	The Ship of Theseus
语义工程和PLT Redex笔记	可计算性和计算复杂度
证明与类型	线性代数笔记
绘制数学图形	Abel定理
数学家学法语	函数式编程的domain论基础
结构证明论	归纳定义导论
Lem编辑器使用笔记	部分求值
SICM笔记	数据结构和算法笔记
盲点	代数: 第0章
Common Lisp面向对象编程	同伦类型论
关于宏的笔记	逻辑学习指南
理解Maxima	Scheme的三种实现模型
LearningZIL笔记	协调抽象和高性能: MetaOCaml方法
测度论	Stone空间笔记
无点拓扑笔记	REFAL
线性逻辑笔记	布尔代数导引
离散微分几何笔记	范畴逻辑引论
隐函数定理	对于宏的恐惧
lambda到SKI	有一个作用