Wordsmithing

Author: noelwelsh

src/pages/indexed-types/conclusions.md

@@ -20,9 +20,9 @@ Randomly generating test data is not the only approach.
 @runciman09:smallcheck describes an elegant way of enumerating data.
 Also see @duregard12:feat for an approach specialized to enumerating algebraic data types.
 More recently machine learning techniques are being explored. See, for example, @reddy20:rlcheck and @lemieux23:codamosa.
-@goldstein24:practice explores how property based testing is used in practice.
+@goldstein24:practice studies how property based testing is used in practice.
 
-I mentioned that the probability monad can be used in generative art. Generative art is, broadly, art that is generated by some algorithmic process. This can include an element of randomness. While there are papers on generative art (e.g. [@boden09:generative; @dorin12:generative]), and many resources that discuss ot it's much more fun to create some yourself. Figure [@fig:indexed-types:cycloid] shows an example of generative art, though this example is not one uses randomness. The code is below, and it has many knobs that you can play with to create your own example. Have fun!
+I mentioned that the probability monad can be used in generative art. Generative art is, broadly, art that is generated by some algorithmic process. This can include an element of randomness. While there are papers on generative art (e.g. [@boden09:generative; @dorin12:generative]), and many other resources that discuss it, it's much more fun to create some yourself. Figure [@fig:indexed-types:cycloid] shows an example of generative art, though this example is not one that uses randomness. The code is below, and it has many knobs that you can play with to create your own example. Just add the `@main` annotation to the `cycloid` method and you can run the code from the Scala CLI. Have fun!
 
 ![A set of cycloids showing five-fold symmetry](src/pages/indexed-types/cycloid.pdf){#fig:indexed-types:cycloid}