Copilot.Compile.C99
Description
Compile Copilot specifications to C99 code.
compile :: String -> Spec -> IO () Source #
Compile a specification to a .h and a .c file.
The first argument is used as prefix for the .h and .c files generated.