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

Directory listing for safe-coupling-0.1.0.0 source tarball

safe-coupling-0.1.0.0/

• ChangeLog.md
• LICENSE
• README.md
• Setup.hs
• safe-coupling.cabal
• src/
  • ApplicativeBins/
    • Bins.hs
    • Theorem.hs
  • Bins/
    • Bins.hs
    • Theorem.hs
  • Data/
    • Derivative.hs
    • Dist.hs
    • List.hs
  • Examples/
    • ExpDist.hs
  • Misc/
    • ProofCombinators.hs
  • Monad/
    • PrM.hs
    • PrM/
      • Laws.hs
      • Predicates.hs
      • Relational/
        • Theorems.hs
        • TCB/
          • EDist.hs
          • Spec.hs
  • SGD/
    • SGD.hs
    • Theorem.hs
  • TD/
    • TD0.hs
    • Theorem.hs
    • Lemmata/
      • Relational/
        • Act.hs
        • Iterate.hs
        • Sample.hs
        • Update.hs
• test/
  • Spec.hs
  • Spec/
    • Bins.hs
    • SGD.hs
    • TD0.hs
    • Utils.hs