| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2018-12-25 | Remove licenses | Mark Rousskov | -10/+0 |
| 2018-04-23 | in unit tests, use `note` to dump multiple program clauses | Niko Matsakis | -2/+2 |
| 2018-04-15 | Implement Chalk lowering rule Normalize-From-Impl | Fabian Zaiser | -0/+9 |
| 2018-03-14 | Add MVP for chalkification | scalexm | -0/+20 |
