Skip to content

Add Representable instance for Eval#2329

Merged
kailuowang merged 2 commits intotypelevel:masterfrom denisrosca:masterJul 22, 2018

Commits

Commits on Jul 17, 2018

Commits on Jul 18, 2018