一些没用的笔记

摆弄SICP图形语言	The Ship of Theseus
语义工程和PLT Redex笔记	Miscellaneous Notes
可计算性和计算复杂度	证明与类型
分析笔记	线性代数笔记
组合学笔记	绘制数学图形
Abel定理	数学家学法语
Geometric Algebra (E. Artin) 翻译	函数式编程的domain论基础
结构证明论	OPLSS
归纳定义导论	元对象协议艺术
Lem编辑器使用笔记	部分求值
SICM笔记	数据结构和算法笔记
线性逻辑: 其句法和语义	λ演算: 其句法和语义
灵活软件设计	函数式微分几何
盲点	高阶范畴逻辑导论
代数: 第0章	Common Lisp面向对象编程
同伦类型论	格论笔记
关于宏的笔记	Kerodon翻译
范畴逻辑和类型论	逻辑学习指南
句法闭包	卫生宏技术
理解Maxima	Scheme的三种实现模型
把东西粘在一起	Standard ML的历史
构建问题解决器	乌龟几何
操作语义的结构方法	指称语义学
LearningZIL笔记	Computation Structures笔记
协调抽象和高性能: MetaOCaml方法	Zork论文翻译
Schemer看monad	测度论
古典AI笔记	Stone空间笔记
无点拓扑笔记	REFAL
自动微分的简单本质翻译	线性逻辑笔记
定性表示笔记	布尔代数导引
游戏语义	延续和自然语言
离散微分几何笔记	范畴逻辑引论
隐函数定理	没有(太多)眼泪的Gödel
对于宏的恐惧