| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2018-04-23 | in unit tests, use `note` to dump multiple program clauses | Niko Matsakis | -4/+8 |
| 2018-04-15 | Stop duplicating where clauses from impl's. | Fabian Zaiser | -1/+1 |
| 2018-04-15 | Implement Chalk lowering rule Normalize-From-Impl | Fabian Zaiser | -1/+7 |
| 2018-03-14 | Address niko's nits | scalexm | -1/+1 |
| 2018-03-14 | Add MVP for chalkification | scalexm | -0/+8 |
