Portability | portable |
---|---|
Stability | experimental |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | Safe-Inferred |
Documentation
convert :: WCNF -> SoftFormulaSource
Portability | portable |
---|---|
Stability | experimental |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | Safe-Inferred |
convert :: WCNF -> SoftFormulaSource