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

Published 20 hours ago • verified publisher icon antalsz

Rewrite for types

Open antalsz opened this issue 6 years ago • 0 comments

We need to be able to rewrite in types

antalsz avatar Oct 29 '18 14:10 antalsz