]> Git — Sourcephile - majurity.git/commit
sourcephile / git / majurity.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cef5bb0) | patch
protocol: polish exports
authorJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 2 May 2019 15:04:23 +0000 (15:04 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 2 May 2019 15:04:23 +0000 (15:04 +0000)
commitacbb4722f0f2ad65f50464a7786d0ce336c36153
treead50adb8cc2c77fb98830b3ced540f11d3b90445tree | snapshot
parentcef5bb03d830ae238feb721b4cd4544b4275c6dbcommit | diff
protocol: polish exports
hjugement-protocol/Protocol/Arithmetic.hs diff | blob | history
Tools for voting with Majority Judgment and Helios-C