# λ

Based on Benjamin Pierce's _Types and Programming Languages_

This is an **incorrect** implementation. I've abandoned this version.