共计 7 篇文章

---

2024

09-05

依值类型下模式匹配的完全性检查

09-02

自制的一个依值类型语言 ShiTT

09-02

依值类型下的归纳类型和模式匹配的实现笔记

07-15

用Haskell实现一些简单的类型系统的酷酷方法

06-24

如何形式化验证一场技术面试

2023

11-25

写给一般计算机人的Lean4安利

11-08

类型体操指北 (Haskell)