Skip to content

Rename folding/visiting traits#767

Merged
bors merged 6 commits intorust-lang:masterfrom
eggyal:rename-traits
Jun 21, 2022
Merged

Rename folding/visiting traits#767
bors merged 6 commits intorust-lang:masterfrom
eggyal:rename-traits

Commits

Commits on Jun 19, 2022