| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2019-05-25 | Reword malformed attribute input diagnostics | Esteban Küber | -6/+3 |
| 2019-01-13 | Implement basic input validation for built-in attributes | Vadim Petrochenkov | -5/+3 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -10/+0 |
| 2018-07-18 | Implement existential types | Oliver Schneider | -0/+28 |
