This is a group experiment on compilation principles at the University of Science and Technology of China in the autumn of 2023. - View it on GitHub