本猪几乎无数学背景出身，对数学的理解仅限于 ε-δ，虽然知道公理化集合论但是只有朴素集合论的直觉，逻辑只了解结构直觉逻辑，其他领域一无所知，甚至没有系统地学习过代数，更妄论拓扑和范畴。 在日常生活及和 qlbf 的交流中，我深感自己的弱小，所以决定一点点把一些 PLT 概念学起来，以期日后能有助于自己的科研工作。
我姑且做过两年的形式化验证工作，对类型论的概念理解非常粗浅，可以认为有一些工作者的直觉。我想通过这种直觉来切入相关概念。
本仓库是我的读书随记。以前我就有尝试过阅读一些科普文章及课本，但是我发现一旦我没有及时把想法记下来，很多东西我会很快地忘掉。所以我打算尝试把我想的东西有一定组织性地记录下来，以便日后翻阅，也希望能被他人指正。
