]> Git — Sourcephile - majurity.git/tree - hjugement-protocol/Utils/
sourcephile / git / majurity.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
protocol: add Utils.{Constraint,Natural,MeasuredList}
[majurity.git] / hjugement-protocol / Utils /
drwxr-xr-x   ..
-rw-r--r-- 155 Constraint.hs blob | history | raw
-rw-r--r-- 2868 MeasuredList.hs blob | history | raw
-rw-r--r-- 2598 Natural.hs blob | history | raw
Tools for voting with Majority Judgment and Helios-C