共计 333 篇文章

---

2020

Coq学习——《Software-Foundation》Volume1.6-Logic 11-30 Coq学习——《Software-Foundation》Volume1.5-Tactics 11-30 Haskell——自定义数据类型 11-13 OCaml学习——Substitution-and-Evaluation 11-11 OCaml学习——Representing-Program-Syntax 11-11 OCaml学习——OCaml-Datatypes 11-10 A-Basic-Introduction-to-SSA-Lustre-and-K2 11-04 Learning-Transition-System 11-02 Coq学习——《Software-Foundation》Volume1.4-Poly 11-02 Coq学习——《Software-Foundation》Volume1.3-Lists 10-28