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