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

Directory listing for ghc-typelits-presburger-0.5.2.0 source tarball

ghc-typelits-presburger-0.5.2.0/

• LICENSE
• Setup.hs
• ghc-typelits-presburger.cabal
• examples/
  • simple-arith-core.hs
• src/
  • Data/
    • Integer/
      • SAT.hs
  • GHC/
    • TypeLits/
      • Presburger.hs
      • Presburger/
        • Compat.hs
        • Types.hs
• test/
  • ErrorsNoPlugin.hs
  • ErrorsWithPlugin.hs
  • Shared.hs
  • test.hs
  • GHC/
    • TypeLits/
      • PresburgerSpec.hs