]> Git — Sourcephile - majurity.git/commit
protocol: add FromNatural/ToNatural
authorJulien Moutinho <julm+hjugement@autogeree.net>
Wed, 1 May 2019 17:02:51 +0000 (17:02 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Wed, 1 May 2019 17:02:51 +0000 (17:02 +0000)
commitd2f5ea10187136acbc430c1a3569cbbbcc38bb6f
tree2e1c0b3b9e23fccac21b7f931b3eff054ee7c1a4
parentb803ea50f33bf51b7085479e2e0e2ea2c7115317
protocol: add FromNatural/ToNatural
hjugement-protocol/Protocol/Arithmetic.hs
hjugement-protocol/Protocol/Credential.hs
hjugement-protocol/Protocol/Election.hs
hjugement-protocol/test/HUnit/Arithmetic.hs
hjugement-protocol/test/HUnit/Election.hs