Index of /courses/cse505/17au/lec12/lean

	Name	Last modified	Size	Description
	Parent Directory		-
	lambda_calc.lean	2017-10-31 23:06	13K
	leanpkg.toml	2017-10-31 23:06	77
	lec12-notes.pdf	2018-02-17 21:38	307K
	lec12.pdf	2018-02-17 21:38	565K