]> Git — Sourcephile - majurity.git/commit
protocol: polish extensions
authorJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 2 May 2019 15:04:39 +0000 (15:04 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Thu, 2 May 2019 15:04:39 +0000 (15:04 +0000)
commit5ab688178c452f0a5da6745c870c438a40eb6f34
treedd924ffad0f6c8f01b19a8fed214b6a3e0d593c9
parentacbb4722f0f2ad65f50464a7786d0ce336c36153
protocol: polish extensions
hjugement-protocol/Protocol/Election.hs