编译要点

要生成书籍（build / book.pdf），请运行make命令（假设您已完整安装TeX Live）。 如果您是一名讲师，则还可以请求访问编译器的参考实现和完整的测试套件。