├── .github └── workflows │ └── main.yml ├── .gitignore ├── README.md ├── abstract.tex ├── chapters ├── beginnings.tex ├── category.tex ├── curry-howard.tex ├── hott.tex ├── introduction.tex ├── martin-lof.tex └── prospect.tex ├── history.bib ├── history.tex ├── images ├── difficulty1.png ├── difficulty2.png ├── difficulty3.png ├── difficulty4.png ├── external-internal-small.png └── infinity.png └── quiver.sty /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/README.md -------------------------------------------------------------------------------- /abstract.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/abstract.tex -------------------------------------------------------------------------------- /chapters/beginnings.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/chapters/beginnings.tex -------------------------------------------------------------------------------- /chapters/category.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/chapters/category.tex -------------------------------------------------------------------------------- /chapters/curry-howard.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/chapters/curry-howard.tex -------------------------------------------------------------------------------- /chapters/hott.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/chapters/hott.tex -------------------------------------------------------------------------------- /chapters/introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/chapters/introduction.tex -------------------------------------------------------------------------------- /chapters/martin-lof.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/chapters/martin-lof.tex -------------------------------------------------------------------------------- /chapters/prospect.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/chapters/prospect.tex -------------------------------------------------------------------------------- /history.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/history.bib -------------------------------------------------------------------------------- /history.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/history.tex -------------------------------------------------------------------------------- /images/difficulty1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/images/difficulty1.png -------------------------------------------------------------------------------- /images/difficulty2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/images/difficulty2.png -------------------------------------------------------------------------------- /images/difficulty3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/images/difficulty3.png -------------------------------------------------------------------------------- /images/difficulty4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/images/difficulty4.png -------------------------------------------------------------------------------- /images/external-internal-small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/images/external-internal-small.png -------------------------------------------------------------------------------- /images/infinity.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/images/infinity.png -------------------------------------------------------------------------------- /quiver.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Trebor-Huang/history/HEAD/quiver.sty --------------------------------------------------------------------------------