copilot-c99-3.1.2: A compiler for Copilot targeting C99.
Copilot.Compile.C99.Compile
compile :: String -> Spec -> IO () Source #
Compile the specification to a .h and a .c file.