Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.While.Syntax.Sugar
Documentation
(^^^) :: WhileProp l Bool -> AnnCommand l () -> AnnCommand l () infix 3 Source #
verifiable-expressions-0.4.0: An intermediate language for Hoare logic style verification.
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.While.Syntax.Sugar
(^^^) :: WhileProp l Bool -> AnnCommand l () -> AnnCommand l () infix 3 Source #