From 5a748c57f0b9573ba046fcfa34157bc037842226 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= Date: Thu, 31 May 2018 02:12:45 +0200 Subject: [PATCH] Update RAEDME --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 3191c56..d43b6ef 100644 --- a/README.md +++ b/README.md @@ -7,8 +7,10 @@ This project aims to formalize some parts of category theory using cubical agda 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](http://web.student.chalmers.se/~hanghj/papers/univalent-categories.pdf): +If you want more information about this project, then you're in luck. +This is my masters thesis. Go ahead and read it +[here](http://web.student.chalmers.se/~hanghj/papers/univalent-categories.pdf) +or alternative like so: cd doc/ make