copilot-c99-3.1: A compiler for Copilot targeting C99.

Safe Haskell	None
Language	Haskell2010

Copilot.Compile.C99.Compile

Synopsis

compile :: String -> Spec -> IO ()

Documentation

compile :: String -> Spec -> IO () Source #

Compile the specification to a .h and a .c file.