From: Anders Mörtberg Date: Wed, 20 Jan 2016 14:00:09 +0000 (-0500) Subject: Fix ö X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=2465e7623c102fe9f459df3348bc7f5018a44819;p=cubicaltt.git Fix ö --- 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