verifiable-expressions-0.6.1: An intermediate language for Hoare logic style verification.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Expression.Util

Documentation

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