From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Wed, 14 Jun 2017 12:49:39 +0000 (+0200)
Subject: update README
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=417c87da91220d03ef727aee6c3f940e68f83672;p=cubicaltt.git

update README
---

diff --git a/lectures/README.md b/lectures/README.md
index 871d1af..f4a210b 100644
--- a/lectures/README.md
+++ b/lectures/README.md
@@ -10,16 +10,24 @@ assumed.
 
 The contents of the lectures are:
 
-1. Basic features of the base type theory and little bit of Path types
-   (Path abstraction and application).
+* **lecture1.ctt**
+..Basic features of the base type theory
+..A little bit of Path types (Path abstraction and application)
 
-2. More on Path types (symmetry and connections) and compositions.
+* **lecture2.ctt**
+..More on Path types (symmetry and connections)
+..Compositions
 
-3. Higher dimensional compositions, transport and J for Path types,
-   fill and H-levels (contractible types, propositions, sets,
-   groupoids...).
+* **lecture3.ctt**
+..Higher dimensional compositions
+..Transport and J for Path types
+..Fill
+..H-levels (contractible types, propositions, sets, groupoids...)
 
-4. Equivalences, Glue types and proofs of the univalence axiom.
+* **lecture4.ctt**
+..Equivalences
+..Glue types
+..Proofs of the univalence axiom
 
-The lectures hence gives a hands-on introduction covering sections 2-7
+The lectures hence give a hands-on introduction covering sections 2-7
 of the [paper](https://arxiv.org/abs/1611.02108).
\ No newline at end of file