GitHub - mmakowski/introlambda: Introduction to Lambda Calculus talk materials.

Name	Name	Last commit message	Last commit date
Latest commit mmakowski regenerated with current date Dec 8, 2014 0d28f7a · Dec 8, 2014 History 60 Commits
.gitignore	.gitignore	first notes	Sep 28, 2014
motivation.md	motivation.md	updated motivation	Dec 7, 2014
notes.pdf	notes.pdf	regenerated with current date	Dec 8, 2014
notes.tex	notes.tex	regenerated with current date	Dec 8, 2014
slides.pdf	slides.pdf	regenerated with current date	Dec 8, 2014
slides.pdfpc	slides.pdfpc	updated motivation	Dec 7, 2014
slides.tex	slides.tex	regenerated with current date	Dec 8, 2014