PropaFP-0.1.1.0: Auto-active verification of floating-point programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

PropaFP.Translators.FPTaylor

Synopsis

Documentation

expressionToFPTaylor :: E -> String Source #

All variables must appear in the VarMap