归档

五月, 2021

2021-05-11

从 Induction 到 Axiom K, UIP, J-rules

2021-05-01

Algebra: Chapter 0 - 速记（1）

一月, 2021

2021-01-22

Yoneda Lemma 的证明

十一月, 2020

2020-11-03

Dotty Scala 上的依赖类型

十月, 2020

2020-10-28

奇妙的依赖类型 (上): 全类, $\Pi$-类型以及乘积类型

2020-10-11

Church-Rosser 定理证明

2020-10-09

MPS 系列第一章：为 Java 增加 do-notation 语法

九月, 2020

2020-09-27

不动点组合子的原理与定理证明

2020-09-21

Lambda 立方体与类型系统简记

九月, 2019

2019-09-29

一个 Haskeller 的范畴论入坑笔记第四章：始对象，终对象与零对象