phino-0.0.0.19: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellNone
LanguageHaskell2010

Functions

Documentation

argToStrBytes :: ExtraArgument -> Subst -> Program -> IO String Source #

buildTermFromFunction :: String -> [ExtraArgument] -> Subst -> Program -> IO Term Source #