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

Directory listing for refined-subtype-0.1.0.0 candidate source tarball

refined-subtype-0.1.0.0/

• LICENSE
• README.md
• Setup.hs
• refined-subtype.cabal
• src/
  • Data/
    • CompactSpace.hs
    • Searchable.hs
    • SubType.hs
    • Type/
      • Predicate.hs
      • Refine.hs
  • Topology/
    • StoneSpace.hs
• test/
  • Example.hs
  • Spec.hs