]> Git — Sourcephile - majurity.git/history - hjugement/Majority/Gauge.hs
protocol: change F to be a Natural, not an Integer.
[majurity.git] / hjugement / Majority / Gauge.hs
2019-04-14 Julien MoutinhoAdd majorityValueOfRank