]> Git — Sourcephile - majurity.git/commit
protocol: clean imports
authorJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 7 Nov 2019 03:05:19 +0000 (03:05 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 7 Nov 2019 03:05:19 +0000 (03:05 +0000)
commit81bcf5e6cd6110276be992a81383a7c424d5bc40
tree09895a198be1cbba654f264d64c3787cce781b30
parentfc0fe8203b59fb05dfbf8a1ae8416abddad844df
protocol: clean imports
hjugement-protocol/src/Voting/Protocol/Arithmetic.hs
hjugement-protocol/src/Voting/Protocol/Utils.hs
hjugement-protocol/src/Voting/Protocol/Version.hs