Skip to content

Commit

Permalink
Last tweak to README (thanks @AljoschaMeyer)
Browse files Browse the repository at this point in the history
  • Loading branch information
sgwilym committed Nov 17, 2022
1 parent da19470 commit 27474dd
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,8 @@ Therefore the lifting monoid **must** satisfy the following criteria:
such values according to the next two rules. `lift(item)` is the fingerprint
of the set that contains only item. For larger sets, the fingerprint is
computed by `combine`ing the results of `lift(item)` of all the individual
items in the larger set.
items in the larger set. Doing so efficiently is done by the tree behind the
scenes.
2. The combine method must be associative — i.e.
`combine(a, combine(b, c)) === combine(combine(a, b), c)`
3. The neutral value must be a value from the monoid that leaves other (monoid)
Expand Down

0 comments on commit 27474dd

Please sign in to comment.