From 594a22a924c7a576fb04391666ecf54bb38ef17f Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Sat, 22 Oct 2016 11:59:02 -0400 Subject: [PATCH] readme --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 9281cf0..9f74292 100644 --- a/README.md +++ b/README.md @@ -121,9 +121,9 @@ References and notes Cohen, Thierry Coquand, Simon Huber, and Anders Mörtberg. This paper describes the type theory and its model. -* [Canonicity for Cubical Type - Theory](https://arxiv.org/abs/1607.04156), Simon Huber. Proof of - canonicity for the type theory. + * [Canonicity for Cubical Type + Theory](https://arxiv.org/abs/1607.04156), Simon Huber. Proof of + canonicity for the type theory. * Voevodsky's lectures and texts on [univalent foundations](http://www.math.ias.edu/vladimir/home) -- 2.34.1