README typos

IntersectMBO · Oct 26, 2020 · e4c25eb · e4c25eb
1 parent 0d9bea1
commit e4c25eb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/plutus-benchmark/nofib/README.md b/plutus-benchmark/nofib/README.md
@@ -14,11 +14,11 @@ the original source.
 The Criterion benchmarks use the `plutus-tx` GHC plugin to compile the programs
 to Plutus Core and then time their execution on the CEK machine.
 
-The specific program which we have ported to Plutus are:
+The specific programs which we have ported to Plutus are:
 
    * `clausify`: reduce propositions to clausal form 
    * `knights`: find knight's tours of an NxN chessboard
-   * `last-piece`: a slover for a jigsaw problem (not included in the benchmarks)
+   * `last-piece`: a solver for a jigsaw problem (not included in the benchmarks)
    * `primetest`: probablisitic primality testing
    * `queens`: find solutions to the N queens problem on an m x m chessboard