From 35576e52e1358c0256127e5c880fe76d3025d0e7 Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Wed, 17 Jul 2019 11:00:47 -0400
Subject: Fixed links

---
 README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index d56b7eb..a3feb4c 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
-# A proof of UA -> funext, formalised in Agda
+# A proof of UA -> funext, formalised in Agda-HoTT
 
-Writeup : [PDF](univalence-to-funext/tree/master/univalence-to-funext.pdf) ([LaTeX](univalence-to-funext/tree/master/univalence-to-funext.tex))
+Write-up : [PDF](univalence-to-funext.pdf) ([LaTeX](univalence-to-funext.tex))
 
-HoTT-Agda formalistion : [Univalence-to-funext.agda](univalence-to-funext/tree/master/Univalence-to-funext.agda)
+HoTT-Agda formalistion : [Univalence-to-funext.agda](Univalence-to-funext.agda)
-- 
cgit v1.3.1