eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.EO.Phi.Dataize.Context

Documentation

knownAtomsMap :: Atoms Source #

defaultContext :: [NamedRule] -> Object -> Context Source #

mkEnabledAtoms :: [String] -> [String] -> Atoms Source #