• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for aern2-mp-0.1.3.0 source tarball

aern2-mp-0.1.3.0/

• LICENSE
• aern2-mp.cabal
• changelog.md
• src/
  • AERN2/
    • MP.hs
    • Norm.hs
    • Normalize.hs
    • MP/
      • Accuracy.hs
      • Ball.hs
      • Dyadic.hs
      • Enclosure.hs
      • ErrorBound.hs
      • Float.hs
      • Precision.hs
      • Ball/
        • Comparisons.hs
        • Conversions.hs
        • Elementary.hs
        • Field.hs
        • PreludeOps.hs
        • Tests.hs
        • Type.hs
      • Float/
        • Constants.hs
        • Operators.hs
        • Tests.hs
        • UseRounded/
          • Arithmetic.hs
          • Conversions.hs
          • RoundedAdaptor.hs
          • Type.hs
    • Utils/
      • Bench.hs
• test/
  • Spec.hs
  • AERN2/
    • MP/
      • BallSpec.hs
      • DyadicSpec.hs
      • FloatSpec.hs