| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-06-16 | warn against 'specialization' feature | Ralf Jung | -1/+1 |
| 2019-11-18 | Surround types with backticks in type errors | Esteban Küber | -4/+4 |
| 2019-11-18 | Specific labels when referring to "expected" and "found" types | Esteban Küber | -2/+2 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -10/+0 |
| 2018-09-06 | Fixing tests from anon -> opaque | ms2300 | -1/+1 |
| 2018-06-07 | Add existential type definitons | Oliver Schneider | -0/+54 |
