]> Git — Sourcephile - majurity.git/commit
protocol: use Purescript's algebra hierarchy
authorJulien Moutinho <julm+hjugement@autogeree.net>
Sat, 2 Nov 2019 23:35:22 +0000 (23:35 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Sat, 2 Nov 2019 23:35:22 +0000 (23:35 +0000)
commit11a6cbffbe050f2886236d57b60018f0fc540d27
treed1f16fc59562d38dabefaf7da5d8ac86da1bc032
parent8c07dc63f95b5563b2742ce44f9b895588604cd2
protocol: use Purescript's algebra hierarchy
hjugement-protocol/src/Voting/Protocol/Credential.hs
hjugement-protocol/src/Voting/Protocol/Election.hs
hjugement-protocol/src/Voting/Protocol/FFC.hs
hjugement-protocol/tests/HUnit/Election.hs
hjugement-protocol/tests/HUnit/FFC.hs