leanprover/lean0.1 — pull request #2 by codyroux (2014-05-24 22:08:00+00:00)
Title: Error messages for application

The commit messages are a bit dirty, but I tried to clean all this up with Soon Ho's good advice. The tests for type-checking do not all pass, but it seems this was the case before the changes. Can someone explain this to me?