home
about
中文
misc
about
How I Build My Own Static Site Generator But You Should Not
hello
PL
Understanding the Lisp Syntax
How I Wrote a Self-Hosting Compiler
Truthy Falsy Does Not Taste Well
type theory
Type System 0
Type System 1