Skip to content

Commit

Permalink
Fix typos in a README
Browse files Browse the repository at this point in the history
  • Loading branch information
ligurio committed Nov 7, 2024
1 parent 0ecd818 commit 37808fb
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -289,7 +289,7 @@ Example of history:
{:type :ok, :f :add, :value [0 2], :process 0, :time 11209256522, :index 5}
```

Beware, `set` and `set-ful ` have a different computational
Beware, `set` and `set-full` have a different computational
complexities. The `set-full` checker is a lot more expensive, but
gives you precise bounds on latencies and stability of records
over time, whereas `set` assumes a single read at the end of the
Expand All @@ -298,7 +298,7 @@ test.
### set-full

A Jepsen's checker for a set histories. It is a more rigorous set analysis. We
allow `:add` operations which add a single element, and `:reads` which return
allow `:add` operations which add a single element, and `:read` which return
all elements present at that time.

```clojure
Expand All @@ -315,7 +315,7 @@ all elements present at that time.
{:type :invoke, :f :add, :value [0 5], :process 0, :time 11786251931, :index 10}
```

Beware, `set` and `set-ful ` have a different computational
Beware, `set` and `set-full` have a different computational
complexities. The `set-full` checker is a lot more expensive, but
gives you precise bounds on latencies and stability of records
over time, whereas `set` assumes a single read at the end of the
Expand Down

0 comments on commit 37808fb

Please sign in to comment.