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

Published 20 hours ago • verified publisher icon antalsz

Design considerations for local/nonlocal edits

Open antalsz opened this issue 7 years ago • 0 comments

Some edits should be local (renames), some should not be local (renames for other reasons). This should be expanded on.

antalsz avatar Dec 13 '17 19:12 antalsz