From 2465e7623c102fe9f459df3348bc7f5018a44819 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Wed, 20 Jan 2016 09:00:09 -0500 Subject: [PATCH] =?utf8?q?Fix=20=C3=B6?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index d96d4d4..4363c80 100644 --- a/README.md +++ b/README.md @@ -105,7 +105,7 @@ References and notes * [Cubical Type Theory: a constructive interpretation of the univalence axiom](http://www.math.ias.edu/~amortberg/papers/cubicaltt.pdf), - Cyril Cohen, Thierry Coquand, Simon Huber, and Anders Mörtberg + Cyril Cohen, Thierry Coquand, Simon Huber, and Anders Mörtberg * [Cubical Type Theory](http://www.cse.chalmers.se/~coquand/face.pdf) - The -- 2.34.1