Aaron Yue

This is Aaron’s (Haoxuan Yue) page on mostly random stuff.

One of these days I might just put my CV and stuff here, when I remember to do so. For time being, this mostly functions as a blog.

My general interests are type theory and Japanese study.