update README

diff --git a/lectures/README.md b/lectures/README.md
index f4a210bfd9db336bf33acdc71726c78df5e099d7..5bdabbd255cbac971d6d5d8b212b94c36c322afe 100644 (file)
--- a/lectures/README.md
+++ b/lectures/README.md
@@ -10,24 +10,24 @@ assumed.
 
 The contents of the lectures are:
 
-* **lecture1.ctt**
-..Basic features of the base type theory
-..A little bit of Path types (Path abstraction and application)
+1. **lecture1.ctt**
+* Basic features of the base type theory
+* A little bit of Path types (Path abstraction and application)
 
-* **lecture2.ctt**
-..More on Path types (symmetry and connections)
-..Compositions
+2. **lecture2.ctt**
+* More on Path types (symmetry and connections)
+* Compositions
 
-* **lecture3.ctt**
-..Higher dimensional compositions
-..Transport and J for Path types
-..Fill
-..H-levels (contractible types, propositions, sets, groupoids...)
+3. **lecture3.ctt**
+* Higher dimensional compositions
+* Transport and J for Path types
+* Fill
+* H-levels (contractible types, propositions, sets, groupoids...)
 
-* **lecture4.ctt**
-..Equivalences
-..Glue types
-..Proofs of the univalence axiom
+4. **lecture4.ctt**
+* Equivalences
+* Glue types
+* Proofs of the univalence axiom
 
 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