improve-0.0.2: An imperative, verifiable programming language for embedded applications.
Language.ImProve.Verify
verify :: Statement -> IO (Maybe Bool)Source