robrix/TaPL — pull request #7 by robrix (2014-12-25 00:34:11+00:00)
Title: Parsing

Adds a parser for λ terms, true, false, and if/then/else.