update README

diff --git a/lectures/README.md b/lectures/README.md
index 871d1af3354d541dde682d054b0f015991502561..f4a210bfd9db336bf33acdc71726c78df5e099d7 100644 (file)
--- 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