]> Git — Sourcephile - majurity.git/commit
sourcephile / git / majurity.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1fa38c) | patch
protocol: add MeasuredList.empty
authorJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 25 Apr 2019 20:58:50 +0000 (20:58 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 25 Apr 2019 20:58:50 +0000 (20:58 +0000)
commitb71311421ea535c724e41406bed82705f88b91c9
tree92d77dc069234801d03099d718750243786979fdtree | snapshot
parenta1fa38c46040a6387c07d47745af01d8bab74a76commit | diff
protocol: add MeasuredList.empty
hjugement-protocol/Utils/MeasuredList.hs diff | blob | history
Tools for voting with Majority Judgment and Helios-C