daf-/bpl — pull request #9 by daf- (2014-04-05 20:55:08+00:00)
Title: Type checker

"Complete" type checker.