About QuZhuoyuan

First-year MSc student at Nagoya University, Japan. Interested in type theory and programming language theory.

Lists

Timeline

konkonjac has no activity yet