]>
author | Julien Moutinho <julm+hjugement@autogeree.net> | |
Mon, 22 Apr 2019 22:56:00 +0000 (22:56 +0000) | ||
committer | Julien Moutinho <julm+hjugement@autogeree.net> | |
Mon, 22 Apr 2019 23:07:10 +0000 (23:07 +0000) | ||
commit | 3c75581aac07af2e7df3ae6c41a6bda3b1a2020f | |
tree | 0d3ed5a2427c4a76624d6d5e597c208f2677c25a | tree | snapshot |
parent | b1ca11c2b2f584325899d76077cca19df84cb1e7 | commit | diff |
hjugement-protocol/Protocol/Arith.hs | diff | blob | history | |
hjugement-protocol/hjugement-protocol.cabal | diff | blob | history |