]> Git — Sourcephile - majurity.git/commit
protocol: align Proof on Belenios' (slower) calculus
authorJulien Moutinho <julm+hjugement@autogeree.net>
Mon, 5 Aug 2019 18:05:14 +0000 (18:05 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Mon, 5 Aug 2019 18:05:14 +0000 (18:05 +0000)
commit937b8cba3f9f259b9d1c1f00157784a24556500b
tree65b87d68ce38423f2c8882b72e041c6975a8969f
parent4891de0f870da262133c88501451323d9ca93d7a
protocol: align Proof on Belenios' (slower) calculus
hjugement-protocol/src/Voting/Protocol/Election.hs