| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2020-01-08 | review comments | Esteban Küber | -4/+10 | |
| 2020-01-08 | Point at opaque and closure type definitions in type errors | Esteban Küber | -0/+12 | |
| 2019-11-21 | Point at type in `let` assignment on type errors | Esteban Küber | -2/+6 | |
| 2019-11-18 | Surround types with backticks in type errors | Esteban Küber | -8/+8 | |
| 2019-11-18 | Specific labels when referring to "expected" and "found" types | Esteban Küber | -8/+8 | |
| 2019-09-18 | Add explanation to type mismatch involving type params and assoc types | Esteban Küber | -0/+2 | |
| 2018-12-25 | Remove licenses | Mark Rousskov | -4/+4 | |
| 2018-09-06 | Fixing tests from anon -> opaque | ms2300 | -1/+1 | |
| 2018-06-07 | Add existential type definitons | Oliver Schneider | -0/+39 | |
