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

Language

Documentation

data Language Source #

language :: Text -> Either String Language Source #

shared :: Language -> Language -> Maybe Text Source #