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

Published 20 hours ago • verified publisher icon antalsz

Don't include Makefile generated by Coq

Open Lysxia opened this issue 4 years ago • 0 comments

The problem with this is that it regenerates itself, and it will be different if you don't use the exact same version of Coq, so that adds noise to git diff.

Lysxia avatar May 30 '20 20:05 Lysxia