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

Directory listing for quickspec-2.2 source tarball

quickspec-2.2/

• LICENSE
• README.md
• Setup.hs
• quickspec.cabal
• examples/
  • Arith.hs
  • Bools.hs
  • Composition.hs
  • Curry.hs
  • Geometry.hs
  • HugeLists.hs
  • IntSet.hs
  • ListMonad.hs
  • Lists.hs
  • Octonions.hs
  • Parsing.hs
  • PrettyPrinting.hs
  • PrettyPrintingModel.hs
  • Regex.hs
  • Sorted.hs
  • Zip.hs
• src/
  • QuickSpec.hs
  • QuickSpec/
    • Internal.hs
    • Internal/
      • Explore.hs
      • Haskell.hs
      • Parse.hs
      • Prop.hs
      • Pruning.hs
      • Term.hs
      • Terminal.hs
      • Testing.hs
      • Type.hs
      • Utils.hs
      • Explore/
        • Conditionals.hs
        • Polymorphic.hs
        • Schemas.hs
        • Terms.hs
      • Haskell/
        • Resolve.hs
      • Pruning/
        • Background.hs
        • PartialApplication.hs
        • Twee.hs
        • Types.hs
        • UntypedTwee.hs
      • Testing/
        • DecisionTree.hs
        • QuickCheck.hs