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