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

Directory listing for type-natural-1.3.0.0 source tarball

type-natural-1.3.0.0/

• Changelog.md
• LICENSE
• Setup.hs
• type-natural.cabal
• src/
  • Data/
    • Type/
      • Natural.hs
      • Ordinal.hs
      • Natural/
        • Builtin.hs
        • Core.hs
        • Utils.hs
        • Lemma/
          • Arithmetic.hs
          • Order.hs
          • Presburger.hs
        • Presburger/
          • MinMaxSolver.hs
      • Ordinal/
        • Builtin.hs
• tests/
  • Shared.hs
  • test.hs
  • Data/
    • Type/
      • NaturalSpec.hs
      • OrdinalSpec.hs
      • Natural/
        • Lemma/
          • OrderSpec.hs
        • Presburger/
          • Cases.hs
          • MinMaxSolverSpec.hs
      • NaturalSpec/
        • TH.hs