phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Filter

Documentation

include :: [Rewritten] -> [Expression] -> IO [Rewritten] Source #

include' :: Expression -> [Expression] -> IO Expression Source #

exclude :: [Rewritten] -> [Expression] -> IO [Rewritten] Source #

exclude' :: Expression -> [Expression] -> IO Expression Source #