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

Functions

Documentation

buildTerm :: BuildTermFunc Source #

buildFunctions :: [String] Source #

contextualizing :: (Expression -> Expression -> IO Expression) -> BuildTermMethod Source #

execFunctions :: [String] Source #

nameOf :: Maybe Expression -> BuildTermMethod Source #