]> Git — Sourcephile - majurity.git/commit
protocol: change F to be a Natural, not an Integer.
authorJulien Moutinho <julm+hjugement@autogeree.net>
Wed, 24 Apr 2019 21:50:32 +0000 (21:50 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Wed, 24 Apr 2019 21:51:02 +0000 (21:51 +0000)
commit9efef40f483de73ee0e005b57bb3d8d1f78053f0
treef4e7f8e421005cbb5f116eab4577f3c66b761ba1
parent4832c6dfeda42d918a479e42c01a44b8755195f3
protocol: change F to be a Natural, not an Integer.
hjugement-protocol/Protocol/Arithmetic.hs
hjugement-protocol/Protocol/Election.hs