Archive

「I am always trying to find myself.」
2021

《JavaScript 二十年》推荐语

2020

My Programming Languages Spectrum

我的编程语言光谱

2019

「SF-QC」2 TypeClasses

Quickcheck - A Tutorial on Typeclasses in Coq

「SF-PLF」18 UseAuto

Programming Language Foundations - Theory And Practice Of Automation In Coq Proofs

「SF-LC」16 Auto

Logical Foundations - More Automation