GitHub - zju-lambda/slides: slides of zju-lambda

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
.travis.yml		.travis.yml
An Introduction to Scala.html		An Introduction to Scala.html
An-Exhibition-of-PLs.html		An-Exhibition-of-PLs.html
Entertaining-Pointfree.pdf		Entertaining-Pointfree.pdf
IntroductionToDependentTypes.pdf		IntroductionToDependentTypes.pdf
The-Overview-of-Lens.pdf		The-Overview-of-Lens.pdf
TheDevelopmentOfDependentTypes.pdf		TheDevelopmentOfDependentTypes.pdf
Verification-in-Dafny.pdf		Verification-in-Dafny.pdf
YonedaLemma.pdf		YonedaLemma.pdf
compiling-time-snake.pdf		compiling-time-snake.pdf
id_rsa.enc		id_rsa.enc