diff --git a/README.md b/README.md index f63b8e8..3191c56 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,7 @@ This project draws a lot of inspiration from [the HoTT-book](https://homotopytypetheory.org/book/). If you want more information about this project, then you're in luck. This is my -masters thesis. Go ahead and read it: +masters thesis. Go ahead and [read it](http://web.student.chalmers.se/~hanghj/papers/univalent-categories.pdf): cd doc/ make