dove-0.0.0: The Dove verification language.

Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Dove.Optimize

Documentation

optimize :: Expr -> Expr Source