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

Language.EO.Phi.TH

Documentation

defaultOptions' :: Options Source #

deriveJSON :: Name -> Q [Dec] Source #