GitHub - stuart-presnell/HTT-Primer: The LaTeX files for the HTT Primer document

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Figure-1.pdf		Figure-1.pdf
Figure-1.tex		Figure-1.tex
HTT_Primer.tex		HTT_Primer.tex
Hypercube.pdf		Hypercube.pdf
Hypercube.tex		Hypercube.tex
Section-Continuity.tex		Section-Continuity.tex
Section-DoingLogic.tex		Section-DoingLogic.tex
Section-IdTypes.tex		Section-IdTypes.tex
Section-Models-v0.tex		Section-Models-v0.tex
Section-Naturals-Recursion.tex		Section-Naturals-Recursion.tex
Section-PredicateLogic.tex		Section-PredicateLogic.tex
Section-Quantifiers.tex		Section-Quantifiers.tex
Section-RecursiveTypes.tex		Section-RecursiveTypes.tex
Sections-1-4.tex		Sections-1-4.tex
Sections-1-4.tex.bak		Sections-1-4.tex.bak
_packages_and_newcommands.tex		_packages_and_newcommands.tex