lambda/README.md

# λ

Based on Benjamin Pierce's _Types and Programming Languages_

This is an **incorrect** implementation. I've abandoned this version.
progress 2018-02-13 23:46:43 +00:00			`# λ`
test 2018-02-16 11:22:07 +00:00
			`Based on Benjamin Pierce's _Types and Programming Languages_`

update readme 2018-02-20 20:47:49 +00:00			`This is an incorrect implementation. I've abandoned this version.`