5
'dan çıkarılan koddaki kurucuların ihracatını kontrol ediyorum Coq'da kod yazmayı ve bu kodu büyük bir Haskell projesinde kullanmak için çıkarmayı düşünüyorum. Coq'da tek bir modül kurmak, özellikleri ispatlamak ve bu özelliklerin ihlalini önlemek için Haskell'in modül sistemini kullanmak istiyorum (akıllı kurucular aracılığıyla).Coq
Coq kodunu Haskell modülüne açık bir dışa aktarma listesiyle ayıklamanın mümkün olduğuna dair bir işaret bulamıyorum. Çıkarılan Coq kodunu elle değiştirmem gerekiyor gibi görünüyor, ki bu büyük bir şey değil ama ben bu hakkın olup olmadığını bilmek istiyorum. Alternatif teklif var mı?
Ben de böyle düşündüm - teşekkürler & onaylama için teşekkürler. –