Post
about
posts
categories
倒带
随笔
1/3/2021
崩毁的日常
随笔
认同
12/25/2020
Akyuu's Untouched Score
编程语言
12/13/2020
Arend 教程，第一部分：4. 相等性
编程语言
类型论
Arend
翻译
9/26/2020
术语表
规范
7/31/2020
Abstract Nonsense
类型论
范畴学
随笔
7/31/2020
Arend 教程，第一部分：3. 索引数据类型
编程语言
类型论
Arend
翻译
7/24/2020
Arend 教程，第一部分：2. 命题与证明
编程语言
类型论
Arend
翻译
7/24/2020
Arend 教程，第一部分：1. 基础
编程语言
类型论
Arend
翻译
7/22/2020
撰写博客的技术性细节
随笔
规范
7/15/2020
→