From f761ee456501acb9035c6d37fd110bcd890dba2c Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Wed, 14 Jun 2017 14:54:07 +0200 Subject: [PATCH] update README --- lectures/README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/lectures/README.md b/lectures/README.md index 5bdabbd..2cc2c1b 100644 --- a/lectures/README.md +++ b/lectures/README.md @@ -10,21 +10,21 @@ assumed. The contents of the lectures are: -1. **lecture1.ctt** +### lecture1.ctt * Basic features of the base type theory * A little bit of Path types (Path abstraction and application) -2. **lecture2.ctt** +### lecture2.ctt * More on Path types (symmetry and connections) * Compositions -3. **lecture3.ctt** +### lecture3.ctt * Higher dimensional compositions * Transport and J for Path types * Fill * H-levels (contractible types, propositions, sets, groupoids...) -4. **lecture4.ctt** +### lecture4.ctt * Equivalences * Glue types * Proofs of the univalence axiom -- 2.34.1