共计 4 篇文章

---

2024

07-15

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

06-24

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

2023

11-25

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

11-08

类型体操指北 (Haskell)