Post
about
posts
categories
The Next 700 Idealism
编程语言
函数式
9/6/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
正确的废话
随笔
编程语言
Haskell
7/15/2020
出发
随笔
6/13/2020