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

Directory listing for quickspec-2 source tarball

quickspec-2/

• LICENSE
• README.md
• Setup.hs
• quickspec.cabal
• examples/
  • Arith.hs
  • Bools.hs
  • Composition.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/
    • Explore.hs
    • Haskell.hs
    • Prop.hs
    • Pruning.hs
    • Term.hs
    • Terminal.hs
    • Testing.hs
    • Type.hs
    • Utils.hs
    • Explore/
      • Conditionals.hs
      • PartialApplication.hs
      • Polymorphic.hs
      • Schemas.hs
      • Terms.hs
    • Haskell/
      • Resolve.hs
    • Pruning/
      • Background.hs
      • Twee.hs
      • Types.hs
      • UntypedTwee.hs
    • Testing/
      • DecisionTree.hs
      • QuickCheck.hs