syndicate-lang
/
preserves
mirror of https://gitlab.com/preserves/preserves.git
1
0
Fork 1
Code Releases Activity

Follow formatting convention

This commit is contained in:
Tony Garnock-Jones 2019-08-18 15:15:11 +01:00
parent 37a12b3595
commit 872ea562a2
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
TUTORIAL.org
View File

@ -295,8 +295,9 @@ decentralized systems.
Likewise, it is also possible to annotate records with integers. Likewise, it is also possible to annotate records with integers.
Languages like OCaml use integers instead of symbolic record labels Languages like OCaml use integers instead of symbolic record labels
because their type systems ensure that it is never ambiguous what, because their type systems ensure that it is never ambiguous what,
say, the label =23= means in any given context. Allowing integer say, the label =23= means in any given context.
record labels lets Preserves directly express OCaml data. Allowing integer record labels lets Preserves directly express OCaml
data.
# 2019-08-18 14:06:24 tonyg -- I like the following idea in principle, # 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 # 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 The annotations aren't related to the data requested, which is all
about "employees"; instead, they're about the systems that produced about "employees"; instead, they're about the systems that produced
the response. You could say they're in the domain of "debugging" the response.
instead of the domain of "employees". You could say they're in the domain of "debugging" instead of the
domain of "employees".
* Conclusions * Conclusions