翻译 Category
about
post
categories
跨性别照护中的嗓音改变
跨性别
翻译
7/5/2021
Arend 教程，第一部分：4. 相等性
编程语言
类型论
Arend
翻译
9/26/2020
Arend 教程，第一部分：3. 索引数据类型
编程语言
类型论
Arend
翻译
7/25/2020
Arend 教程，第一部分：2. 命题与证明
编程语言
类型论
Arend
翻译
7/24/2020
Arend 教程，第一部分：1. 基础
编程语言
类型论
Arend
翻译
7/22/2020