verifiable-expressions-0.4.0: An intermediate language for Hoare logic style verification.

Safe HaskellNone
LanguageHaskell2010

Language.While.Syntax.Sugar

Documentation

(.=.) :: l -> WhileExpr l AlgReal -> Command l a infix 1 Source #

(\\) :: Command l a -> Command l a -> Command l a infixr 0 Source #

(^^^) :: WhileProp l Bool -> AnnCommand l () -> AnnCommand l () infix 3 Source #