copilot-sbv-2.2.1: A compiler for CoPilot targeting SBV.

Safe HaskellNone
LanguageHaskell2010

Copilot.Compile.SBV.Makefile

Documentation

makefile :: Params -> String -> String -> IO () Source #

makefileName :: Params -> String Source #