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

Directory listing for type-natural-0.8.1.0 source tarball

type-natural-0.8.1.0/

• LICENSE
• Setup.hs
• type-natural.cabal
• Data/
  • Type/
    • Natural.hs
    • Ordinal.hs
    • Natural/
      • Builtin.hs
      • Class.hs
      • Core.hs
      • Definitions.hs
      • Class/
        • Arithmetic.hs
        • Order.hs
      • Singleton/
        • Compat.hs
        • Compat/
          • TH.hs
    • Ordinal/
      • Builtin.hs
      • Peano.hs