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

Published 20 hours ago • verified publisher icon antalsz

record selectors and edits

Open sweirich opened this issue 7 years ago • 1 comments

Automatically generated record selectors cannot be skipped or redefined using edits.

sweirich avatar Dec 03 '17 13:12 sweirich

They can now be skipped, but not redefined

antalsz avatar Jun 28 '19 19:06 antalsz