Toxaris/pts — pull request #69 by fehrenbach (2014-02-16 09:47:00+00:00)
Title: Bidirectional type checking

Implement local type inference. Closes #3.