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