Notes for the sixth HoTT course of HoTTEST Summer School 2022

Notes for the fifth HoTT course of HoTTEST Summer School 2022

Notes for the fourth HoTT course of HoTTEST Summer School 2022

Notes for the third HoTT course of HoTTEST Summer School 2022

Notes for the second HoTT course of HoTTEST Summer School 2022

Notes for the first HoTT course of HoTTEST Summer School 2022

I'm stepping down from hexo to zola, this passage will tell you why.

I started trying to learn compiling principles since junior high school but I give up again and again, now I'm in the university and I finally get some basic idea of it.