From ae9a0b3de74bb8ebab25b32dd210361929a479b7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= Date: Tue, 8 May 2018 22:46:17 +0200 Subject: [PATCH] Encourage people to read my report --- README.md | 6 ++++++ doc/Makefile | 3 +++ 2 files changed, 9 insertions(+) diff --git a/README.md b/README.md index fd29dad..eb7850f 100644 --- a/README.md +++ b/README.md @@ -7,6 +7,12 @@ 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: + + cd doc/ + make read + Installation ============ diff --git a/doc/Makefile b/doc/Makefile index ff8e36c..399475b 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -48,3 +48,6 @@ cleanall: clean: latexmk -c + +read: all + xdg-open $(PROJNAME).pdf