├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── hdtt2020.sty ├── notes-0121-introduction.tex ├── notes-0204-dependency.tex ├── notes-0211-identification.tex ├── notes-0225-universes.tex ├── notes-0324-cubical-intro.tex ├── notes-0422-normalization.tex └── references.bib /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/favonia/hdtt2020-notes/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/favonia/hdtt2020-notes/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/favonia/hdtt2020-notes/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/favonia/hdtt2020-notes/HEAD/README.md -------------------------------------------------------------------------------- /hdtt2020.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/favonia/hdtt2020-notes/HEAD/hdtt2020.sty -------------------------------------------------------------------------------- /notes-0121-introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/favonia/hdtt2020-notes/HEAD/notes-0121-introduction.tex -------------------------------------------------------------------------------- /notes-0204-dependency.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/favonia/hdtt2020-notes/HEAD/notes-0204-dependency.tex -------------------------------------------------------------------------------- /notes-0211-identification.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/favonia/hdtt2020-notes/HEAD/notes-0211-identification.tex -------------------------------------------------------------------------------- /notes-0225-universes.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/favonia/hdtt2020-notes/HEAD/notes-0225-universes.tex -------------------------------------------------------------------------------- /notes-0324-cubical-intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/favonia/hdtt2020-notes/HEAD/notes-0324-cubical-intro.tex -------------------------------------------------------------------------------- /notes-0422-normalization.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/favonia/hdtt2020-notes/HEAD/notes-0422-normalization.tex -------------------------------------------------------------------------------- /references.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/favonia/hdtt2020-notes/HEAD/references.bib --------------------------------------------------------------------------------