improve-0.4.0: An imperative, verifiable programming language for high assurance applications.
Language.ImProve.Code.C
Synopsis
codeC :: Name -> Statement -> IO ()Source
Generate C.