5 lines
138 B
Markdown
5 lines
138 B
Markdown
# λ
|
|
|
|
Based on Benjamin Pierce's _Types and Programming Languages_
|
|
|
|
This is an **incorrect** implementation. I've abandoned this version.
|