![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| TypeTheory2017p1.mp4 | 2017-09-27 11:35 | 1.1G | |
| TypeTheory2017p2.mp4 | 2017-09-27 11:37 | 1.2G | |
| TypeTheory2017p3.mp4 | 2017-09-27 11:38 | 396M | |
| TypeTheory2017p4.mp4 | 2017-09-27 11:41 | 1.1G | |
| TypeTheory2017p5.mp4 | 2017-09-27 11:31 | 812M | |
| TypeTheory2017p6.mp4 | 2017-11-07 12:26 | 679M | |
| TypeTheory2017p7.mp4 | 2017-11-06 11:58 | 20G | |
| TypeTheory2017p8.mp4 | 2017-11-06 12:00 | 7.1G | |
| TypeTheory2017p9.mp4 | 2017-11-06 12:01 | 1.7G | |