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

Safe HaskellSafe
LanguageHaskell2010

Language.Expression.Util

Documentation

(...) :: (c -> d) -> (a -> b -> c) -> a -> b -> d Source #