1 commit

Author	SHA1	Message	Date
Florian Diebold	c5ee60e05b	Replace Display by a pretty printing trait for Ty ... This allows removing the names from Adt and FnDef (and more later), as a first step towards aligning more with chalk's Ty :)	2019-03-16 16:36:59 +01:00