coq-extraction

7ısı

1cevap

Coq'den Haskell'e ayıklama yaparken modül adı nasıl ayarlanır

Coq dosyasına Extraction Language Haskell. kullanarak Coq'a Haskell'i ayıkladığım/derlediğimde ve coqtop -compile mymodule.v > MyModule.hs çalıştırdığımda, module Main where ile başlayan bir Haskell m