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

PropaFP.Parsers.Lisp.Parser

Documentation