lib:safe-coupling

Modules

• ApplicativeBins.Bins
• ApplicativeBins.Theorem
• Bins.Bins
• Bins.Theorem
• Data.Derivative
• Data.Dist
• Data.List
• Examples.ExpDist
• Misc.ProofCombinators
• Monad.PrM
• Monad.PrM.Laws
• Monad.PrM.Predicates
• Monad.PrM.Relational.TCB.EDist
• Monad.PrM.Relational.TCB.Spec
• Monad.PrM.Relational.Theorems
• SGD.SGD
• SGD.Theorem
• TD.Lemmata.Relational.Act
• TD.Lemmata.Relational.Iterate
• TD.Lemmata.Relational.Sample
• TD.Lemmata.Relational.Update
• TD.TD0
• TD.Theorem

Dependencies

• liquid-base lib:liquid-base >=4.14.0 && <4.16
• liquid-containers lib:liquid-containers >=0.6.2 && <0.7
• liquid-prelude lib:liquid-prelude >=0.8.10 && <0.9
• liquidhaskell lib:liquidhaskell >=0.8.10 && <0.9
• probability lib:probability >=0.2.7 && <0.3
• rest-rewrite lib:rest-rewrite >=0.1.1 && <0.2

Reverse dependencies

Direct only. Not exhaustive.

• safe-coupling test:safe-coupling-test