hs-to-coq icon indicating copy to clipboard operation
hs-to-coq copied to clipboard

Published 20 hours ago • verified publisher icon antalsz

Custom class info

Open antalsz opened this issue 6 years ago • 0 comments

Right now, if we define a class C manually, we can never translate instances of C because the class info lookup fails. We need a way to provide the h2ci info for custom classes.

antalsz avatar Oct 12 '18 09:10 antalsz