robrix/TaPL — pull request #4 by robrix (2014-12-04 01:30:49+00:00)
Title: Simply typed λ calculus

Alright, here goes.