Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
bin		bin
image		image
source		source
.gitignore		.gitignore
README.md		README.md
algebra.tex		algebra.tex
consequences.tex		consequences.tex
example.tex		example.tex
fast-and-loose-reasoning.tex		fast-and-loose-reasoning.tex
introduction.tex		introduction.tex
me.tex		me.tex
more-examples.tex		more-examples.tex
parametricity.tex		parametricity.tex
references.tex		references.tex
simplemachines.tex		simplemachines.tex
title.tex		title.tex
types-and-tests.bib		types-and-tests.bib
types-and-tests.tex		types-and-tests.tex