improve-0.3.4: An imperative, verifiable programming language for high assurance applications.
Language.ImProve.Code
Synopsis
data Target Source
Code generation targets.
Constructors
Instances
code :: Target -> Name -> Statement -> IO ()Source
Generate target code.