diff --git a/TUTORIAL.org b/TUTORIAL.org index c3f2282..823b1a7 100644 --- a/TUTORIAL.org +++ b/TUTORIAL.org @@ -254,7 +254,7 @@ No, it's better to be able to have a separate type: Now we can distinguish the two. -We can make as many Record types as our program need, though it is up +We can make as many Record types as our program needs, though it is up to our program to make sense of what these mean. Since Preserves does not specify the =Date= itself, both the program (or person) writing the Preserves document and the program reading it @@ -285,7 +285,7 @@ The link here points to a more precise term saying that "this is a note meant to be sent around in social networks". It is considerably more precise than just using the string or symbol "Note", which could be ambiguous. -(A social networking note? A footnote? A music note? +(A social networking note? A footnote? A music note?) While not all systems need this, this (partial) example hints at how Preserves can also be used to coordinate meaning in larger, more decentralized systems. @@ -346,7 +346,7 @@ We have previously shown them used as comments: "I am not a comment, I am data!" #+END_SRC -Annotations annotate the values the precede. +Annotations annotate the values they precede. It is possible to have multiple annotations on a value. #+BEGIN_SRC preserves