]> Git — Sourcephile - majurity.git/commit
protocol: fix comments
authorJulien Moutinho <julm+hjugement@autogeree.net>
Tue, 30 Apr 2019 21:35:58 +0000 (21:35 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Tue, 30 Apr 2019 21:35:58 +0000 (21:35 +0000)
commit74dc6dbdc11ed26afc176a75118690aef83956d6
tree636765c796fa94b569c55f632c979f8b05f67fc3
parent01482a3570e22b00f28f411898284023549f6004
protocol: fix comments
hjugement-protocol/Protocol/Arithmetic.hs
hjugement-protocol/Protocol/Election.hs