diff --git a/README.md b/README.md index baf3381..9873470 100644 --- a/README.md +++ b/README.md @@ -56,7 +56,7 @@ disclaimer instead. PFPL this is very accessible and well written. * [Online supplements](http://www.cis.upenn.edu/~bcpierce/tapl/) - * [Dead-tree copy](https://mitpress.mit.edu/books/types-and-programming-languages) + * [Dead-tree copy](https://mitpress.mit.edu/9780262162098/types-and-programming-languages/) - Advanced Topics in Types and Programming Languages (ATTAPL)