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