]> Git — Sourcephile - majurity.git/history - Majority/Judgment.hs
Fix Ord MajorityGauge
[majurity.git] / Majority / Judgment.hs
2019-02-13 Julien MoutinhoAdd and test rankOfMajorityValue
2018-09-03 Julien MoutinhoAdd MajorityGauge (old code though).
2018-09-03 Julien MoutinhoFix majorityValue: update the middlemost correctly.