Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Replace Display by a pretty printing trait for Ty | Florian Diebold | 2019-03-16 | 1 | -0/+56 |
This allows removing the names from Adt and FnDef (and more later), as a first step towards aligning more with chalk's Ty :) |