| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-10-06 | Separate bounds and predicates for associated/opaque types | Matthew Jasper | -13/+2 |
| 2020-09-02 | pretty: trim paths of unique symbols | Dan Aloni | -1/+1 |
| 2020-07-14 | Remove `Sized` `on_unimplemented` note | Esteban Küber | -1/+0 |
| 2020-06-24 | Update Chalk | Jack Huey | -2/+13 |
| 2020-06-19 | Implement fn_def_datum | Jack Huey | -2/+14 |
| 2020-05-07 | Reintegrate chalk using chalk-solve | Jack Huey | -0/+12 |
