@hackage / safe-coupling

Relational proof system for probabilistic algorithms

Latest0.1.0.1

Changelog