safe-coupling 0.1.0.0 → 0.1.0.1

raw patch · 1 files changed

+2/−1 lines, 1 filesdep +rest-rewrite

Dependencies added: rest-rewrite

Files

• safe-coupling.cabal +2/−1

@@ -1,6 +1,6 @@ name:                safe-coupling category:            Formal Methods-version:             0.1.0.0+version:             0.1.0.1 synopsis:            Relational proof system for probabilistic algorithms  description:         Relational proof system for probabilistic algorithms. Supports two proving methods: upper bound Kantorovich distance between two distributions and establish a boolean relation on samples from two distributions (the latter is stronger). license:             BSD3@@ -63,6 +63,7 @@      , liquid-containers                 >= 0.6.2 && < 0.7      , liquid-prelude                    >= 0.8.10 && < 0.9      , probability                       >= 0.2.7 && < 0.3+     , rest-rewrite                      >= 0.1.1 && < 0.2   hs-source-dirs:      src   default-language:    Haskell2010   ghc-options:  -fplugin=LiquidHaskell