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

Published 20 hours ago • verified publisher icon antalsz

Add type definitions edit, including axioms

Open sweirich opened this issue 6 years ago • 0 comments

The add edit only adds stuff after the midamble. Sometimes we want to add before that.

sweirich avatar Nov 30 '18 19:11 sweirich