diff --git a/TUTORIAL.org b/TUTORIAL.org index 11dfb7b..ab3836c 100644 --- a/TUTORIAL.org +++ b/TUTORIAL.org @@ -295,8 +295,9 @@ decentralized systems. Likewise, it is also possible to annotate records with integers. Languages like OCaml use integers instead of symbolic record labels because their type systems ensure that it is never ambiguous what, -say, the label =23= means in any given context. Allowing integer -record labels lets Preserves directly express OCaml data. +say, the label =23= means in any given context. +Allowing integer record labels lets Preserves directly express OCaml +data. # 2019-08-18 14:06:24 tonyg -- I like the following idea in principle, # but I don't think it belongs here yet. The *binary* syntax has @@ -441,8 +442,9 @@ the internal name of the server that produced the response: The annotations aren't related to the data requested, which is all about "employees"; instead, they're about the systems that produced -the response. You could say they're in the domain of "debugging" -instead of the domain of "employees". +the response. +You could say they're in the domain of "debugging" instead of the +domain of "employees". * Conclusions