From: Anders Mörtberg Date: Sat, 22 Oct 2016 15:59:02 +0000 (-0400) Subject: readme X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=594a22a924c7a576fb04391666ecf54bb38ef17f;p=cubicaltt.git readme --- 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)