编程语言 Category
about
post
categories
Effect is a phantom
haskell
编程语言
effect
9/14/2021
Terms of the universe, unify!
编程语言
类型论
5/6/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