]> Git — Sourcephile - majurity.git/commit
protocol: polish import of modules
authorJulien Moutinho <julm+hjugement@autogeree.net>
Wed, 1 May 2019 16:20:55 +0000 (16:20 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Wed, 1 May 2019 16:20:55 +0000 (16:20 +0000)
commitb803ea50f33bf51b7085479e2e0e2ea2c7115317
treec3b11bf8f668fb8751b56ce3cd47aed718f2887f
parent972596dd47f015b6c331bfa3f3ad0eb9a1caafb9
protocol: polish import of modules
hjugement-protocol/Protocol/Arithmetic.hs