errata
https://github.com/LambdaNote/errata-leanbook-1-1