@hackage / safe-coupling

Relational proof system for probabilistic algorithms

0.1.0.1

Version history