GitHub - jeprinz/hott-practice

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.gitignore		.gitignore
EquivRel.agda		EquivRel.agda
HOTT-exercises.agda		HOTT-exercises.agda
HighType.agda		HighType.agda
More-exercises.agda		More-exercises.agda
RobertRose_ex.agda		RobertRose_ex.agda
TypeType.agda		TypeType.agda
ch2exercises.agda		ch2exercises.agda
ch2sec2.agda		ch2sec2.agda
chapter2.agda		chapter2.agda
eckmanhilton.agda		eckmanhilton.agda
encodeDecode.agda		encodeDecode.agda
hurkens.agda		hurkens.agda
path-induction.agda		path-induction.agda
pi1S1isZ.agda		pi1S1isZ.agda
refl.agda		refl.agda
robertExercises.agda		robertExercises.agda
univalence.agda		univalence.agda