一些没用的笔记

The Ship of Theseus	语义工程和PLT Redex笔记
Proofs and Types第一章翻译	一些程序
Miscellaneous Notes	可计算性和计算复杂度
证明与类型	分析笔记
线性代数笔记	范畴论笔记
组合学笔记	范畴论作业
绘制数学图形	计算机辅助设计的几何编程
Topos: 逻辑的范畴分析	Abel定理
数学家学法语	Geometric Algebra (E. Artin) 翻译
函数式编程的论域论基础	结构证明论
抽象Stone对偶笔记	格论 (Birkhoff)
Stone空间翻译	OPLSS
归纳定义	元对象协议艺术
Lem编辑器使用笔记	部分求值
拓扑学 (Munkres) 笔记	SICM笔记
拓扑via逻辑	数据结构和算法笔记
线性逻辑: 其句法和语义	λ演算: 其句法和语义
灵活软件设计	函数式微分几何
盲点	高阶范畴逻辑导论
无点拓扑学	代数: 第0章
Common Lisp面向对象编程	游戏设计
并行和顺序算法	命令式编程原理笔记
同伦类型论	格论笔记
关于宏的笔记	证明论和逻辑复杂度
Kerodon翻译	范畴逻辑和类型论
逻辑学习指南