improve-0.0.2: An imperative, verifiable programming language for embedded applications.
Language.ImProve.Examples
Description
ImProve examples.
Synopsis
gcd' :: E Int -> E Int -> Stmt (E Bool, E Int)Source
Computes the greatest common divison of two integers. Returns true if the computation is done, and the result.
gcdMain :: Stmt ()Source
A top level wrapper for gcd'.
gcdBuild :: IO ()Source
Build the gcdMain code (i.e. gcd.c, gcd.h).