From c78472318484ba3e28d0e39d0fdefa6c53c3e7e9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= Date: Thu, 31 May 2018 02:09:46 +0200 Subject: [PATCH] Insert link to pre-compiled pdf --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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