]> Git — Sourcephile - majurity.git/commit
protocol: rename ErrorValidate -> ErrorVerify
authorJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 2 May 2019 15:05:06 +0000 (15:05 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 2 May 2019 15:05:06 +0000 (15:05 +0000)
commite25607ac9cbdf01e39f3d4d8cce1b95b519525d3
tree43985aaeb8ca9def5c1c5c1e315e40906d427c2c
parent5ab688178c452f0a5da6745c870c438a40eb6f34
protocol: rename ErrorValidate -> ErrorVerify
hjugement-protocol/Protocol/Election.hs