]> Git — Sourcephile - majurity.git/commit
protocol: remove ErrorProve
authorJulien Moutinho <julm+hjugement@autogeree.net>
Wed, 1 May 2019 17:25:01 +0000 (17:25 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Wed, 1 May 2019 17:47:29 +0000 (17:47 +0000)
commit2834a04268da78e6024c4cfe410f2fa47c4a9758
tree7d5f3de6adadd9ece007815df9891e7ea44bbb67
parentd2f5ea10187136acbc430c1a3569cbbbcc38bb6f
protocol: remove ErrorProve
hjugement-protocol/Protocol/Election.hs