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

Language.ImProve.Code

Synopsis

Documentation

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

Generate C code.