]> Git — Sourcephile - majurity.git/commit
protocol: fix {encryt,verify}Ballot wrt. specs
authorJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 15 Aug 2019 21:42:17 +0000 (21:42 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 15 Aug 2019 21:42:17 +0000 (21:42 +0000)
commit03f62f6c71f35207c421ae002e5575adf588e65f
tree1cb2bab6d8d61245716713ecfe84f99ef262f0ec
parent7dbeee8dcc0e308784af17d071c9585450de026a
protocol: fix {encryt,verify}Ballot wrt. specs
hjugement-protocol/src/Voting/Protocol/Election.hs