]> Git — Sourcephile - majurity.git/commit
sourcephile / git / majurity.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d515f9) | patch
protocol: add Utils.{Constraint,Natural,MeasuredList}
authorJulien Moutinho <julm+hjugement@autogeree.net>
Wed, 24 Apr 2019 21:00:53 +0000 (21:00 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Wed, 24 Apr 2019 21:00:53 +0000 (21:00 +0000)
commit4832c6dfeda42d918a479e42c01a44b8755195f3
treeb154e6b0590ad839c9aec9a32c64a458c0af7cb2tree | snapshot
parent6d515f9da0f698bb51803143d21bd796a4ac138fcommit | diff
protocol: add Utils.{Constraint,Natural,MeasuredList}
hjugement-protocol/Protocol/Arithmetic.hs diff | blob | history
hjugement-protocol/Protocol/Credential.hs diff | blob | history
hjugement-protocol/Protocol/Election.hs diff | blob | history
hjugement-protocol/Utils/Constraint.hs [new file with mode: 0644] blob
hjugement-protocol/Utils/MeasuredList.hs [new file with mode: 0644] blob
hjugement-protocol/Utils/Natural.hs [new file with mode: 0644] blob
hjugement-protocol/hjugement-protocol.cabal diff | blob | history
hjugement-protocol/test/HUnit/Arithmetic.hs diff | blob | history
hjugement-protocol/test/HUnit/Credential.hs diff | blob | history
hjugement-protocol/test/HUnit/Election.hs diff | blob | history
Tools for voting with Majority Judgment and Helios-C