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

Directory listing for aern2-mp-0.1.0.0 source tarball

aern2-mp-0.1.0.0/

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