lemma

6260 notes: 枚举, 判别器, lemma, match

4 minute read Published: 2026-08-03

6260 notes: 枚举, 判别器, lemma, match

4 minute read Published: 2026-08-03

6260 notes: nominal typing, field update, requires, ensures

16 minute read Published: 2026-08-02