]> Git — Sourcephile - majurity.git/history - hjugement/Majority/Value.hs
protocol: add FromNatural/ToNatural
[majurity.git] / hjugement / Majority / Value.hs
2019-04-14 Julien MoutinhoAdd majorityValueOfRank