Skip to content

Commit a6a93ef

Browse files
committed
remove
1 parent 87a4c40 commit a6a93ef

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

index.md

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,6 @@ title: "Homotopy Type Theory 2019"
66

77
**THIS SITE CURRENTLY UNDER CONSTRUCTION. PLEASE EXCUSE THE MESS.**
88

9-
* Hi Andrej *
10-
119
`TODO: General description of the event (make dates clearly visible).`
1210

1311
There will be an International Conference on [Homotopy Type

0 commit comments

Comments
 (0)