Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
software_foundations		software_foundations
.gitignore		.gitignore
Covariance.txt		Covariance.txt
LICENSE		LICENSE
README.md		README.md
TAPL.txt		TAPL.txt
coq.txt		coq.txt
haskell.txt		haskell.txt
lambdas.txt		lambdas.txt
ocaml.txt		ocaml.txt
parametric_polymorphism.txt		parametric_polymorphism.txt
types.txt		types.txt