]> Git — Sourcephile - reloto.git/history - Htirage/Tutorial.lhs
sourcephile / git / reloto.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add Htirage.Sequence.
[reloto.git] / Htirage / Tutorial.lhs
2018-08-30 Julien MoutinhoAdd Htirage.Sequence. blob | commitdiff | raw
2017-07-23 Julien MoutinhoUse only Integer, add boundary checks, document. blob | commitdiff | raw | diff to current
Tools for publicly verifiable draws