]> Git — Sourcephile - majurity.git/commit
protocol: add Ballot
authorJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 25 Apr 2019 00:15:41 +0000 (00:15 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 25 Apr 2019 00:15:41 +0000 (00:15 +0000)
commitcecd4dfae394620998791f0b397e4a67d888ec43
tree909e7241cd92d2b3c6dc7e667ad22c2cc5aff5fe
parent9efef40f483de73ee0e005b57bb3d8d1f78053f0
protocol: add Ballot
hjugement-protocol/Protocol/Arithmetic.hs
hjugement-protocol/Protocol/Credential.hs
hjugement-protocol/Protocol/Election.hs
hjugement-protocol/Utils/MeasuredList.hs
hjugement-protocol/Utils/Natural.hs
hjugement-protocol/hjugement-protocol.cabal