uniquify implicit names in syntax part 3 of #1061#1110

Merged

ceedubs merged 1 commit intotypelevel:masterfrom kailuowang:update-syntax

Jun 12, 2016

+53-53

Commits on Jun 10, 2016

uniquify implicit names in syntax part 3 of typelevel#1061
kailuowang
committed