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