Up
–
coq
»
Extraction_plugin
» Haskell
Module
Extraction_plugin.Haskell
val
haskell_descr :
Miniml.language_descr