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

PropaFP.Parsers.Lisp.DataTypes

Documentation