]> Git — Sourcephile - majurity.git/commit
protocol: fix benchmark
authorJulien Moutinho <julm+hjugement@autogeree.net>
Mon, 13 May 2019 00:09:01 +0000 (00:09 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Mon, 13 May 2019 00:09:01 +0000 (00:09 +0000)
commitdeb59334c0d57f70f6e38bb33ce0ab2c7a193a32
tree1ebbabf7a07e10d2c9a1c9f130f9555fdd28740a
parentc19479d7448de510f655feee35e3e52c2d8363a8
protocol: fix benchmark
hjugement-protocol/benchmarks/Election.hs