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

Evaluate

Documentation

evaluation :: ReduceContext -> State -> Expression -> Expression -> IO (Expression, State) Source #