improve-0.3.3: An imperative, verifiable programming language for high assurance applications.
Language.ImProve.Path
totalPaths :: Name -> Statement -> IO ()Source