一些没用的笔记

The Ship of Theseus	语义工程和PLT Redex笔记
Proofs and Types第一章翻译	一些程序
Miscellaneous Notes	可计算性和计算复杂度
证明与类型	分析笔记
线性代数笔记	范畴论笔记
组合学笔记	绘制数学图形
计算机辅助设计的几何编程	Topos: 逻辑的范畴分析
Abel定理	数学家学法语
Geometric Algebra (E. Artin) 翻译	函数式编程的论域论基础
结构证明论	格论 (Birkhoff)
OPLSS	归纳定义
元对象协议艺术	Lem编辑器使用笔记
部分求值	SICM笔记
数据结构和算法笔记	线性逻辑: 其句法和语义
λ演算: 其句法和语义	灵活软件设计
函数式微分几何	盲点
高阶范畴逻辑导论	代数: 第0章
Common Lisp面向对象编程	游戏设计
并行和顺序算法	命令式编程原理笔记
同伦类型论	格论笔记
关于宏的笔记	证明论和逻辑复杂度
Kerodon翻译	范畴逻辑和类型论
逻辑学习指南	句法闭包
卫生宏技术	Core War介绍
理解Maxima	Scheme的三种实现模型
把东西粘在一起	Standard ML的历史
构建问题解决器	乌龟几何
操作语义的结构方法	指称语义学
LearningZIL笔记	Computation Structures笔记
协调抽象和高性能: MetaOCaml方法	Zork论文翻译
Schemer看monad	高效多项式计算
测度论