]> Git — Sourcephile - majurity.git/tree - hjugement-protocol/Protocol/
protocol: Rename {Arith -> Arithmetic}
[majurity.git] / hjugement-protocol / Protocol /
drwxr-xr-x   ..
-rw-r--r-- 9830 Arithmetic.hs
-rw-r--r-- 2687 Credential.hs
-rw-r--r-- 7975 Election.hs
lrwxrwxrwx 11 HLint.hs -> ../HLint.hs