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

Language.ImProve.Code.Modelica

Documentation

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