一些没用的笔记

之所以没用, 是因为还没有什么内容.

格论 (Birkhoff)	Stone空间翻译
OPLSS	归纳定义
元对象协议艺术	Lem编辑器使用笔记
部分求值	拓扑学 (Munkres) 笔记
SICM笔记	拓扑via逻辑
数据结构和算法	线性逻辑: 其句法和语义
λ演算: 其句法和语义	灵活软件设计
函数式微分几何	盲点
高阶范畴逻辑导论