| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2017-07-02 | report the total number of errors on compilation failure | Ariel Ben-Yehuda | -1/+1 |
| 2017-07-02 | Revert "Change error count messages" | Ariel Ben-Yehuda | -1/+1 |
| 2017-05-24 | Change error count messages | Michael Kohl | -1/+1 |
| 2017-04-07 | Merge branch 'master' into ty-placeholder | Esteban Küber | -3/+3 |
| 2017-04-02 | Introduce `TyErr` independent from `TyInfer` | Esteban Küber | -0/+49 |
