A small toy implementation of the pure polymorphic lambda-calculus.
Includes type inference, evaluation, and subject reduction.
The formulation is in the style of Church.

Author: Frank Pfenning
