From: Anders Mörtberg <andersmortberg@gmail.com>
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)