improve-0.4.0: An imperative, verifiable programming language for high assurance applications.

Language.ImProve.Code.Ada

Synopsis

Documentation

codeAda :: Name -> Statement -> IO ()Source

Generate Ada.