aakarsh/stl

A simplistic port of Simply Typed Lambda Calculus in :

Types and Programming Languages 
- Benjamin C. Pierce

Original code at :

http://www.cis.upenn.edu/~bcpierce/tapl/